Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,430,708 papers from all fields of science
Search
Sign In
Create Free Account
McNaughton's theorem
In automata theory, McNaughton's theorem refers to a theorem that asserts that the set of ω-regular languages is identical to the set of languages…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Automata construction
Automata theory
Büchi automaton
DFA minimization
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Determinization of Parity automata June 26 , 2017
2017
Corpus ID: 27205608
A central result in the theory of ω-automata is McNaughton's Theorem which states that every Buchi automaton is equivalent to a…
Expand
2015
2015
McNaughton's theorem
Mikolaj Bojanczyk
SIGL
2015
Corpus ID: 9391297
In the logic and automata community, Robert McNaughton is perhaps best known for his determinisation result for automata on…
Expand
2011
2011
Determination of the Infrared Luminosity of Active Galactic Nuclei (AGN)
V. Gorjian
,
Kevin Hale
,
Rozina Kanjee
,
Larissa Y. Kunz
,
D. Langer
,
Eric O’Neill
2011
Corpus ID: 118699001
Varoujan Gorjian – 1, Kate Meredith – 2, Helen Petach 3, Elizabeth Ramseyer 4, Tim Spuck 5, Mark Abajian 1, Kevin Hale -3, Rozina…
Expand
2011
2011
Erratum zu: Traumatologie der A. vertebralis beim Säugling
K. Saternus
Rechtsmedizin
2011
Corpus ID: 46135852
adaptive capacity and stress protein expression in the liver after heat stress. J Appl Physiol 89:749– 759 13. Harper RM, Kinney…
Expand
Review
2006
Review
2006
Book review : ( Doing Foucault in Early childhood Studies, Glenda McNaughton, 2005)
Annica Löfdahl
2006
Corpus ID: 142673936
2006
2006
"Listen to them cry out from their dreaming": Blak Inside and the Search for an Aboriginal Stage Aesthetic
Marc Maufort
2006
Corpus ID: 190564215
THE LAST THREE DECADES OF THE TWENTIETH CENTURY have witnessed the emergence of a substantial body of Australian Aboriginal drama…
Expand
2004
2004
Bernoulli automorphisms in many-valued logic
Giovanni Panti
2004
Corpus ID: 16873296
In classical propositional logic over finitely many variables no automorphism has any stochastic property, because the dual space…
Expand
1987
1987
On shared systems
J. Jacob
1987
Corpus ID: 59690031
Most computing systems are shared between users of various kinds. This thesis treats such systems as mathematical objects, and…
Expand