Inferenz-Systeme (Beispiel 2)

Grundbereich: Zeichenketten aus {0, 1}^* mathend000#
Axiom:

$\displaystyle {\frac{{}}{{01}}}$
mathend000#
Regel-Schemata (für jedes u, v mathend000#):

$\displaystyle {\frac{{0u, v0}}{{u1v}}}$ , $\displaystyle {\frac{{1u,v1}}{{u0v}}}$ , $\displaystyle {\frac{{u}}{{\operatorname{reverse}(u)}}}$
mathend000#

Leite 11001 mathend000# ab. Wieviele Wörter der Länge k mathend000# sind ableitbar?

Johannes Waldmann 2014-03-31