Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,059,000 papers from all fields of science
Search
Sign In
Create Free Account
Omega-regular language
Known as:
Omega-regular expression
, Omega-regular languages
, Ω-regular language
The ω-regular languages are a class of ω-languages which generalize the definition of regular languages to infinite words. Büchi showed in 1962 that…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Automata theory
Büchi automaton
Empty string
McNaughton's theorem
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Monitorability of omega-regular languages
A. Bauer
arXiv.org
2010
Corpus ID: 15829970
Arguably, omega-regular languages play an important role as a specification formalism in many approaches to systems monitoring…
Expand
2010
2010
Beyond omega-Regular Languages
Mikolaj Bojanczyk
Symposium on Theoretical Aspects of Computer…
2010
Corpus ID: 39292172
The paper presents some automata and logics on $\omega$-words, which capture all $\omega$-regular languages, and yet still have…
Expand
2008
2008
A New Look at the Bistatic-to-Monostatic Conversion for Tandem SAR Image Formation
Jinshan Ding
,
Zhenhua Zhang
,
M. Xing
,
Z. Bao
IEEE Geoscience and Remote Sensing Letters
2008
Corpus ID: 10992436
The bistatic synthetic aperture radar (SAR) data, which are converted into equivalent monostatic data by proper preprocessing…
Expand
2006
2006
Characteristic Comparison of SRAM Cells with 20 nm Planar MOSFET, Omega FinFET and Nanowire FinFET
Yiming Li
,
Chien-Sung Lu
Sixth IEEE Conference on Nanotechnology
2006
Corpus ID: 26434777
In this paper, we study the performance of SRAM cell with three different devices, conventional planar MOSFETs, omega FinFETs…
Expand
2004
2004
An Algebraic Generalization of omega-Regular Languages
Z. Ésik
,
W. Kuich
International Symposium on Mathematical…
2004
Corpus ID: 38840589
This paper continues the algebraic theory of Esik, Kuich [9] on semiring-semimodule pairs and quemirings that is applicable to…
Expand
2002
2002
Expressive equivalence of least and inflationary fixed-point logic
S. Kreutzer
Proceedings 17th Annual IEEE Symposium on Logic…
2002
Corpus ID: 5653981
We study the relationship between least and inflationary fixed-point logic. By results of Gurevich and Shelah (1986), it has been…
Expand
1994
1994
The cofinality spectrum of the infinite symmetric group
S. Shelah
,
S. Thomas
Journal of Symbolic Logic (JSL)
1994
Corpus ID: 13177003
Abstract Let S be the group of all permutations of the set of natural numbers. The cofinality spectrum CF(S) of S is the set of…
Expand
1988
1988
Computation tree logic and regular omega-languages
W. Thomas
REX Workshop
1988
Corpus ID: 32327876
The expressive power of branching time logics is studied in the framework of the theory of ω-automata and ω-languages. The…
Expand
1988
1988
Accepting Conditions for Automata on omega-Languages
T. Moriya
,
H. Yamasaki
Theoretical Computer Science
1988
Corpus ID: 6510144
Highly Cited
1985
Highly Cited
1985
Topographical organization of the auditory pathway within the prothoracic ganglion of the cricket Gryllus campestris L.
D. Wohlers
,
F. Huber
Cell and Tissue Research
1985
Corpus ID: 36663999
SummaryThe topographical organization of the prothoracic ganglion of the cricket, Gryllus campestris L., is described from…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required