Inferenz-Systeme (Beispiel 2)

• Grundbereich: Zeichenketten aus {0, 1}^*
• Axiom:
  $${\frac{{}}{{01}}}$$

• Regel-Schemata (für jedes u, v):
  $${\frac{{0u, v0}}{{u1v}}}$$,    $${\frac{{1u,v1}}{{u0v}}}$$,    $${\frac{{u}}{{\operatorname{reverse}(u)}}}$$

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