Tautologische Termgleichheit/Zeichenketten/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet einer Sprache erster Stufe. Es seien -Terme mit

gegeben. Zeige, dass es sich bei und um eine identische Zeichenreihe handelt.