Benutzer:Boris Friedrichs/Bücher/Automaten
aus Wikipedia, der freien Enzyklopädie
|
Dies ist ein gespeichertes „Wikipedia-Buch“ | [ Bücherregal ] |
Automatentheorie
- Automatentheorie
- Automat (Informatik)
- Akzeptieren (Automaten- und Komplexitätstheorie)
- Akzeptor (Informatik)
- Alternierende Turingmaschine
- Ameise (Turingmaschine)
- Äquivalenzproblem
- AtoCC
- Berry-Sethi-Verfahren
- Bewertungsfunktion (Formale Sprachen)
- Bisimulation
- Boolescher Differentialkalkül
- Büchi-Automat
- Deterministisch kontextfreie Sprache
- Deterministischer endlicher Automat
- Dyck-Sprache
- Eindeutiger endlicher Automat
- Endlicher Automat
- Gewichteter Automat
- Greibach-Normalform
- Hilfskellermaschine
- Kellerautomat
- Konfluenz (Informatik)
- Kurodas Problem
- Langton-Schleife
- Linear beschränkte Turingmaschine
- Lineare Sprache
- Mealy-Automat
- Medwedew-Automat
- Moore-Automat
- Muller-Automat
- Nichtdeterministische Turingmaschine
- Nichtdeterministischer endlicher Automat
- Ω-Automat
- Ω-regulär
- Potenzautomat
- Potenzmengenkonstruktion
- Rabin-Automat
- Registermaschine
- Reguläre Sprache
- Rekursiv aufzählbare Sprache
- Rekursive Sprache
- Staiger-Wagner-Automat
- Streett-Automat
- Symbolic Model Verifier
- Transduktor (Informatik)
- Transitionsrelation
- Transitionssystem
- Turingmaschine
- Turingmaschine Typ 2
- Virtueller endlicher Automat
- Wator
- Wireworld
- Zellulärer Automat
- Zustandsübergangsdiagramm
- Zweikellerautomat
- Zweiwege-DFA
