BuK/IIm18/Vorlesung6

Wiki-Quelltext dieser Seite.

== Übungsaufgabe 1 ==
Eine TM soll überprüfen ob $w$ die Form $uu$ besitzt. Für $u$ gilt $a^ib^ic^i$, bei Korrektheit von w soll u auf dem Band hinterlassen werden.

== Übungsaufgabe 2 ==
Beweisen sie mittels Aussagenlogik