Automat

A
Akzeptieren (Automaten- und Komplexitätstheorie)
Akzeptor (Informatik)
Alternierende Turingmaschine
Ameise (Turingmaschine)
Äquivalenzproblem
AtoCC
B
Berry-Sethi-Verfahren
Bewertungsfunktion (Formale Sprachen)
Bisimulation
Boolescher Differentialkalkül
Büchi-Automat
D
Deterministisch kontextfreie Sprache
Deterministischer endlicher Automat
Dyck-Sprache
E
Eindeutiger endlicher Automat
Endlicher Automat
G
Gewichteter Automat
Greibach-Normalform
H
Hilfskellermaschine
K
Kellerautomat
Konfluenz (Informatik)
Kurodas Problem
L
Langton-Schleife
Linear beschränkte Turingmaschine
Lineare Sprache
M
Mealy-Automat
Medwedew-Automat
Moore-Automat
Muller-Automat
N
Nichtdeterministische Turingmaschine
Nichtdeterministischer endlicher Automat
O
Ω-Automat
Ω-regulär
P
PROMELA
Potenzautomat
Potenzmengenkonstruktion
R
Rabin-Automat
Registermaschine
R (Fortsetzung)
Reguläre Sprache
Rekursiv aufzählbare Sprache
Rekursive Sprache
S
SPIN
Staiger-Wagner-Automat
Streett-Automat
Symbolic Model Verifier
T
Transduktor (Informatik)
Transitionsrelation
Transitionssystem
Turingmaschine
Turingmaschine Typ 2
V
Virtueller endlicher Automat
W
Wator
Wireworld
Z
Zellulärer Automat
Zustandsübergangsdiagramm
Zweikellerautomat
Zweiwege-DFA
Ü
Übergangstabelle