Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Automata theoryBüchi automatonEmpty stringMcNaughton's theorem

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Monitorability of omega-regular languages
Arguably, omega-regular languages play an important role as a specification formalism in many approaches to systems monitoring… 
2010
2010
Beyond omega-Regular Languages
The paper presents some automata and logics on $\omega$-words, which capture all $\omega$-regular languages, and yet still have… 
2006
2006
Characteristic Comparison of SRAM Cells with 20 nm Planar MOSFET, Omega FinFET and Nanowire FinFET
In this paper, we study the performance of SRAM cell with three different devices, conventional planar MOSFETs, omega FinFETs… 
2004
2004
An Algebraic Generalization of omega-Regular Languages
This paper continues the algebraic theory of Esik, Kuich [9] on semiring-semimodule pairs and quemirings that is applicable to… 
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… 
2001
2001
Um estudo de C omega em calculo de sequentes e dedução natural
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… 
1994
1994
The cofinality spectrum of the infinite symmetric group
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… 
1988
1988
Computation tree logic and regular omega-languages
The expressive power of branching time logics is studied in the framework of the theory of ω-automata and ω-languages. The… 
1988
1988
Accepting Conditions for Automata on omega-Languages
1966
1966
Antiemetic action of aliphatic aminoacids with special reference to the difference between alpha-aminoacids and omega-aminoacids.
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)