Nächste Seite:
Inferenz-Systeme (Beispiel 3)
Aufwärts:
Inferenz-Systeme
Vorherige Seite:
Inferenz-Systeme (Beispiel 1)
Inferenz-Systeme (Beispiel 2)
Grundbereich: Zeichenketten aus
{0, 1}
*
Axiom:
Regel-Schemata (für jedes
u
,
v
):
,
,
Leite
11001
ab. Wieviele Wörter der Länge
k
sind ableitbar?
Johannes Waldmann 2013-01-31