Sprache

Unterkategorien
Es werden 3 von insgesamt 3 Unterkategorien in dieser Kategorie angezeigt:
In Klammern die Anzahl der enthaltenen Kategorien (K), Seiten (S), Dateien (D)

A
[+] Automatentheorie (59 S)
G
[+] Graphersetzung (5 S)
H
[+] Hardwarebeschreibungssprache (13 S)
Seiten in der Kategorie „Formale Sprachen“
Es werden 87 von insgesamt 87 Seiten in dieser Kategorie angezeigt:

Formale Sprache
A
Ableitung (Informatik)
Abstrakte Zustandsmaschine
Abstrakter Syntaxbaum
Akzeptieren (Automaten- und Komplexitätstheorie)
Alphabet (Informatik)
Äquivalenzproblem
Attributgrammatik
B
Backus-Naur-Form
Bewertungsfunktion (Formale Sprachen)
C
Chart-Parser
Chomsky-Hierarchie
Chomsky-Normalform
Cocke-Younger-Kasami-Algorithmus
Conditional Equations - Strings
D
Deterministisch kontextfreie Sprache
Diagonalsprache
Dyck-Sprache
E
Earley-Algorithmus
Endlichkeitsproblem
Erweiterte Backus-Naur-Form
F
F-Logic
Formale Grammatik
Formale Logik
Formale Spezifikation
G
Graphersetzungssystem
Greibach-Normalform
H
Hüllenoperator
I
Inhärent mehrdeutige Sprache
K
Kellerautomat
Ketten-Kode-Bilder
Kleenesche und positive Hülle
Kommunizierende Grammatik-Systeme
Kontextfreie Grammatik
Kontextfreie Sprache
Kontextsensitive Grammatik
Kontextsensitive Sprache
Kuroda-Normalform
Kurodas Problem
L
LF(k)-Grammatik
LL(k)-Grammatik
LR(k)-Grammatik
Leeres Wort
Leerheitsproblem
Lemma von Arden
Lindenmayer-System
Lineare Grammatik
Lineare Sprache
Lyndonwort
M
Mehrdeutige Grammatik
Monoid
Morsefolge
N
Nerode-Relation
Nichtdeterministische Turingmaschine
Nichtterminalsymbol
O
Ogdens Lemma
Ω-regulär
Orthosprache
P
Palindrom
Produktionsregel
Projektionssatz (Informatik)
Pumping-Lemma
R
Rechtsableitung
Reguläre Grammatik
Reguläre Sprache
Rekursiv aufzählbare Sprache
Rekursive Sprache
S
Satz von Myhill-Nerode
Schnittproblem
Semi-Thue-System
Spursprache
Sternhöhe (Informatik)
Syntaxbaum
T
Terminalsymbol
Tomita-Parser
Transduktor (Informatik)
Transitionsrelation
Turingmaschine
Turingmaschine Typ 2
U
Universal Networking Language
V
Van-Wijngaarden-Grammatik
Vienna Development Method
W
Wachsend kontextsensitive Sprache
Wort (Theoretische Informatik)
Wortfunktion
Wortproblem
Z
Zweikellerautomat


Von „http://de.wikipedia.org/wiki/Kategorie:Formale_Sprachen“
Kategorie: Theoretische Informatik