Inferenz-Systeme (Beispiel 2)

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

  mathend000#

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

  mathend000#

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