Example image of eyePlorer eyePlorer-Ergebnisse für 'Theoretische Informatik': Algorithmik Automatentheorie Berechenbarkeitstheorie Formale Semantik Formale Sprache Informationstheorie Komplexitätstheorie Kryptologie Logik Spieltheorie Abstraktion Algorithmus Beweis (Mathematik) Definition Lösung (Mathematik) Satz (Mathematik) Implementierung Aussage (Logik) Endlicher Automat Formale Grammatik Formales System Graph (Graphentheorie) Methode Syntaxdiagramm Beweis (Logik) Konstrukt Maschinensemantik Alan Turing Alonzo Church Claude Elwood Shannon John von Neumann Noam Chomsky Automat (Informatik) Alphabet (Informatik) Eigenschaft Syntax Chomsky-Hierarchie Kontextfreie Sprache Kontextsensitive Sprache Reguläre Sprache Rekursive Aufzählbarkeit Äquivalenzrelation Isomorphismus Grammatik Notwendige und hinreichende Bedingung Pumping-Lemma Kriterium Backus-Naur-Form Programmiersprache Erweiterte Backus-Naur-Form
Disclaimer