Anonym
Nicht angemeldet
Deutsch
Anmelden
Wikiup
Suche
Hilfe
Kategorie:Automatentheorie
aus Wikipedia, der freien Enzyklopädie
Namensräume
Kategorie
Diskussion
Mehr
Mehr
Seitenaktionen
Lesen
Quelltext anzeigen
Versionsgeschichte
Einträge in der Kategorie „Automatentheorie“
Folgende 67 Einträge sind in dieser Kategorie, von 67 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)
Bisimulation
Blum-Shub-Smale-Maschine
Boolescher Differentialkalkül
Büchi-Automat
C
Church-Turing-These
D
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
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
Kategorie
:
Theorie formaler Sprachen
Navigation
Navigation
Portalseiten
Zufälliger Artikel
Autorenportal
Mitmachen
Artikel verbessern
Neuen Artikel anlegen
Mediawiki-Hilfe
Letzte Änderungen
Kontakt
Spenden für Mediawiki
Wikiwerkzeuge
Wikiwerkzeuge
Spezialseiten
Seitenwerkzeuge
Seitenwerkzeuge
Benutzerseitenwerkzeuge
Mehr
Links auf diese Seite
Änderungen an verlinkten Seiten
Druckversion
Permanenter Link
Seiteninformationen
Seitenlogbücher
Weitere Projekte
In anderen Sprachen
Links hinzufügen
Kategorien
Kategorien
Theorie formaler Sprachen