Verzeichnis:Deutsch/Informatik/Themengebiete/theoretische Informatik

ABNF abstrakte Zustandsmaschine Akzeptierte Sprache Ameise (Turingmaschine) angereicherte Backus-Naur-Form Automat Automatenmodell Automatentheorie Backus-Naur-Form Backus-Normalform Berechenbarkeit Berechenbarkeitstheorie BNF Bottom-Up-Parsing CFL Chart-Parser Chomsky-Hierarchie Chomsky-Normalform Church-Turing-These CNF Compiler Compilerbau Computerlinguistik deterministisch endlicher Automat deterministisch kontextfreie Sprache deterministische Turingmaschine EBNF endlicher Automat Entscheidbare Sprache erweiterte Backus-Naur-Form formale Semantik formale Sprache formales System GNF Grammatik Greibach-Normalform Halteproblem Hilbertprogramm Inhärent mehrdeutige Sprache Isomorphismus Kellerautomat Klasse Komplexität Komplexitätstheorie Kontext kontextfreie Grammatik kontextfreie Sprache kontextsensitive Grammatik kontextsensitive Sprache Kuroda-Normalform LALR-Parser Lambda-Kalkül LC-Parser Left-Corner-Parser lexikalische Analyse Lexikalischer Scanner LF-Parser linear beschränkte Turingmaschine linkslineare Grammatik LL-Parser Lookahead LR-Parser LR(k)-Grammatik LR(k)-Parser LR(k)-Sprachen

Metasprache monotone Grammatik nichtdeterministische Turingmaschine Nichtterminalsymbol NP-hart NP-vollständig Packrat Parser Parser Parsergenerator Persistente Turingmaschine Produktionsregel Programmiersprache Pumping-Lemma Rechtsableitung rechtslineare Grammatik Rechtsreduktion Regel reguläre Sprache regulärer Ausdruck Rekursion rekursiv aufzählbare Sprache Satz von Myhill-Nerode Schlüsselwort Schnittproblem Semantik semi-entscheidbares Problem Semi-Thue-Systeme SLR-Parser Sprache Spursprache Square-Word Sternhöhe Syntax Syntaxanalyse Syntaxbaum Terminalsymbole Token Top-Down-Parser Turing-Vollständigkeit Turingmaschine Typ-1-Grammatiken Typ-2-Grammatiken Typ-3-Grammatiken unendliche Sprache Universelle Turingmaschine Vergessliche Turingmaschine Wegener-Maschine Zustand

bearbeiten