Characterization of \(\omega\)-regular languages by first-order formulas (Q800737): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(83)90027-0 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2044335913 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4079524 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decision problems forω-automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Testing and generating infinite sequences by a finite automaton / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4074888 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4055589 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on \(\omega\)-regular languages / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:03, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Characterization of \(\omega\)-regular languages by first-order formulas |
scientific article |
Statements
Characterization of \(\omega\)-regular languages by first-order formulas (English)
0 references
1984
0 references
An \(\omega\)-language over some finite alphabet A is a set of countable sequences over A. A finite automaton M can be used to define such languages; e.g. that M visits a certain state infinitely often while reading the sequence. With each finite automaton a first order language is associated. The atomic formulas are \(P_ s(t)\), \(t<t',\quad t=t',\) here t runs over a discrete time structure and \(P_ s(t)\) means that M is in state s at time t. The purpose of this paper is to compare two different kinds of definability for \(\omega\)-languages: Acceptance by various kinds of automata and definability by formulae with a bounded number of quantifier changes. Among the results proved are characterizations of co-regular languages in general and those satisfying certain conditions, e.g. being a countable union of closed sets.
0 references
omega language
0 references
finite automaton
0 references
first order language
0 references
definability
0 references
co- regular languages
0 references