Vorlesung6
Aus ProgrammingWiki
Archivierte Version vom 2019-05-05T18:52:22+00:00. Aktuelle Version
Ü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