Sprache, formale

<== Grammatikmodelle

<== Ausdrucksvermögen, Ausdrucksstärke

<=> Entscheidbarkeit

<== Formel

<=> Grammatik, formale

==> Ableitung

<== Semi-Thue-System

==> Ersetzungsgrammatik

<=> Chomsky-Hierarchie

<== Grammatiktheorie

<== Menge, reguläre

==> Phonem

<=> Sprache, natürliche

==> Wort

<== Parsing natürlicher Sprache

==> Parser

<== Sprachverstehen, maschinelles

<== Term

<== Bedeutung

<== Kognition

<== Wissen und Wissensrepräsentation

<== Automatentheorie

<== Algorithmus

<== Turing-Maschine

<== Programmiersprachen

<== Software

<== Beweisen, automatisches

==> Kette

<== Beweis

<== Modelltheorie

<== Inferenz

<== Neuroinformatik

<== Montague-Grammatik, M.-Semantik

<== Formalisierung