Start
Zufällige Seite
In der Nähe
Anmelden
Einstellungen
Spenden
Über Wikipedia
Impressum
Suchen
Kategorie
:
Automatentheorie
Kategorie
Diskussion
Sprache
Beobachten
Bearbeiten
Einträge in der Kategorie „Automatentheorie“
Folgende 70 Einträge sind in dieser Kategorie, von 70 insgesamt.
Automatentheorie
!
Automat (Informatik)
A
A New Kind of Science
Akzeptieren (Automaten- und Komplexitätstheorie)
Akzeptor (Informatik)
Alternierende Turingmaschine
Ameise (Turingmaschine)
AtoCC
B
Behavior Tree
Berry-Sethi-Verfahren
Bewertungsfunktion (Formale Sprachen)
BIO-LGCA
Bisimulation
Blum-Shub-Smale-Maschine
Boolescher Differentialkalkül
Büchi-Automat
C
Church-Turing-These
D
Deterministischer azyklischer endlicher Automat
Deterministischer endlicher Automat
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
M
Mealy-Automat
Medwedew-Automat
Mehrband-Turingmaschine
Mehrspuren-Turingmaschine
Moore-Automat
Muller-Automat
N
Nichtdeterministische Turingmaschine
Nichtdeterministischer endlicher Automat
O
Ω-Automat
P
Paritätsautomat
PlusCal
Potenzautomat
Potenzmengenkonstruktion
PROMELA
R
Rabin-Automat
Regel 30
Registermaschine
Regulärer Ausdruck
S
Satz von Myhill-Nerode
SPIN
Staiger-Wagner-Automat
Streett-Automat
Symbolic Model Verifier
T
Transduktor (Informatik)
Transitionsrelation
Transitionssystem
Turingmaschine
Turingmaschine mit Zusatzeingabe
Turingmaschine Typ 2
U
Übergangstabelle
Universelle Turingmaschine
UPPAAL
V
Virtueller endlicher Automat
W
Wator
Wireworld
Z
Zellulärer Automat
Zenomaschine
Zustandsraum (Informatik)
Zustandsübergangsdiagramm
Zweikellerautomat
Zweiwege-DFA
