Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 219,937,505 papers from all fields of science
Search
Sign In
Create Free Account
Automata theory
Known as:
Automata (disambiguation)
, Theory of automata
, Analog automata
Expand
The figure at right illustrates a finite-state machine, which belongs to a well-known type of automaton. This automaton consists of states…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract machine
Actor model
Android (robot)
Aperiodic finite state automaton
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
Simulation for pedestrian dynamics by real-coded cellular automata (RCA)
Kazuhiro Yamamoto
,
S. Kokubo
,
K. Nishinari
2007
Corpus ID: 8995080
Highly Cited
2006
Highly Cited
2006
Antigen Endogenous Antigen Exogenous Antigen Target Cell Antigen Processing and Presentation T Killer Cell Endogenous Antigen Killing T Helper Cell Recognition and Activation Macrophages Phagocytosis…
D. Dasgupta
2006
Corpus ID: 5429310
D uring the last decade, the field of Artificial Immune System (AIS) is progressing slowly and steadily as a branch of…
Expand
Highly Cited
2006
Highly Cited
2006
Expressiveness and complexity of XML Schema
W. Martens
,
F. Neven
,
T. Schwentick
,
G. Bex
TODS
2006
Corpus ID: 9415723
The common abstraction of XML Schema by unranked regular tree languages is not entirely accurate. To shed some light on the…
Expand
Highly Cited
2003
Highly Cited
2003
Simulation of competitive egress behavior: comparison with aircraft evacuation data
Ansgar Kirchner
,
H. Klüpfel
,
K. Nishinari
,
A. Schadschneider
,
M. Schreckenberg
2003
Corpus ID: 33901838
Highly Cited
2000
Highly Cited
2000
Specification and proof in membership equational logic
A. Bouhoula
,
J. Jouannaud
,
J. Meseguer
Theoretical Computer Science
2000
Corpus ID: 6971641
Highly Cited
2000
Highly Cited
2000
Supervised Learning of Large Perceptual Organization: Graph Spectral Partitioning and Learning Automata
Sudeep Sarkar
,
P. Soundararajan
IEEE Transactions on Pattern Analysis and Machine…
2000
Corpus ID: 15510471
Perceptual organization offers an elegant framework to group low-level features that are likely to come from a single object. We…
Expand
Highly Cited
1999
Highly Cited
1999
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
A. Chutinan
,
B. Krogh
International Conference on Hybrid Systems…
1999
Corpus ID: 15287052
This paper presents a computational technique for verifying properties of hybrid systems with arbitrary continuous dynamics. The…
Expand
Highly Cited
1996
Highly Cited
1996
The World as a Process: Simulations in the Natural and Social Sciences
S. Hartmann
1996
Corpus ID: 7301376
Simulation techniques, especially those implemented on a computer, are frequently employed in natural as well as in social…
Expand
Highly Cited
1989
Highly Cited
1989
Cellular automata-based pseudorandom number generators for built-in self-test
P. Hortensius
,
R. McLeod
,
W. Pries
,
D. M. Miller
,
H. Card
IEEE Trans. Comput. Aided Des. Integr. Circuits…
1989
Corpus ID: 38054923
A variation on a built-in self-test technique is presented that is based on a distributed pseudorandom number generator derived…
Expand
Review
1974
Review
1974
tree automata: an informal survey
james w.thatcher
1974
Corpus ID: 203669070
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