Automaton

Known as: Automata, Autómata, Atonamaton 
An automaton (pronunciation: /ɔːˈtɒmətən/)(plural: automata or automatons) is a self-operating machine, or a machine or control mechanism designed to… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
Software is often built without specification. Tools to automatically extract specification from software are needed and many… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Forrest et al introduced a new intrusion detection approach that identifies anomalous sequences of system calls executed by… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Several recent stochastic parsers use bilexical grammars, where each word type idiosyncratically prefers particular complements… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Hilary Putnam has argued that computational functionalism cannot serve as a foundation for the study of the mind, as every… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We present algorithms for efficient searching of regular expressions on preprocessed text, using a Patricia tree as a logical… (More)
Is this relevant?
1996
1996
The experimental logic of Moore and Mealy type automata is investigated. key words: automaton logic; partition logic; comparison… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
1992
Highly Cited
1992
The state/transition paradigm has been used extensively for the description of event-driven, parallel systems. However, the lack… (More)
Is this relevant?
Highly Cited
1978
Highly Cited
1978
 
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
1971
Highly Cited
1971
An algorithm is given for minimizing the number of states in a finite automaton or for determining if two finite automata are… (More)
Is this relevant?
Highly Cited
1966
Highly Cited
1966
Bfichi (1962) has given a decision procedure for a system of logic known as " the Sequential Calculus," by showing that each well… (More)
  • figure 2
Is this relevant?