Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,761 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
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
2003
2003
Bisimulation and Language Equivalence
C. Stirling
Logic for Concurrency and Synchronisation
2003
Corpus ID: 15452803
We contrast bisimulation equivalence and language equivalence. There are two threads. First is that because bisimulation is more…
Expand
2001
2001
Um estudo de C omega em calculo de sequentes e dedução natural
Jose Eduardo De Moura
,
Itala Maria Loffredo D´Ottaviano
2001
Corpus ID: 170260009
A partir dos trabalhos de Raggio, datados de 1968 e 1978, sobre os sistemas Cn1 w, desenvolve-se uma analise de Cw em Calculo de…
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
1966
1966
Antiemetic action of aliphatic aminoacids with special reference to the difference between alpha-aminoacids and omega-aminoacids.
Liu Hm
,
P. Mt
1966
Corpus ID: 89045625
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