Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
In the logic and automata community, Robert McNaughton is perhaps best known for his determinisation result for automata on… Expand
Is this relevant?
2011
2011
Varoujan Gorjian – 1, Kate Meredith – 2, Helen Petach 3, Elizabeth Ramseyer 4, Tim Spuck 5, Mark Abajian 1, Kevin Hale -3, Rozina… Expand
  • figure 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Abstract Although accumulating research suggests that acute physical exercise ameliorates cognitive function in adults, little is… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1999
1999
For all intents and purposes, catastrophic interference, the sudden and complete forgetting of previously stored information upon… Expand
  • figure 1
  • figure 2
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
1999
1999
ABSTRACT In this paper we study consequence relations on the set of many sided sequents over a propositional language. We deal… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
In order to solve the 'sensitivity-stability' problem-and its immediate correlate, the problem of sequential learning-it is… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
1993
1993
This paper is concerned with decision proceedures for the ℵ0-valued Łukasiewicz logics,. It is shown how linear algebra can be… Expand
Is this relevant?
1991
1991
We give a new, purely algebraic proof of McNaughton's theorem on infinite words, which states that each recognizable set X of… Expand
Is this relevant?
1987
1987
 Most computing systems are shared between users of various kinds. This thesis treats such systems as mathematical objects, and… Expand
Is this relevant?
1982
1982
We present some properties of non-algebraic adherences of languages, which can be consistently called context-sensitive… Expand
Is this relevant?