HAllo Leute!
In der Aufgabe 12.1 steht: "Begründen Sie die Korrektheit ihrer Konstruktion" Wie kann man das machen. Gibt es ein spezieles Verfahren dafür oder ein Paar Testeingaben wird schon reichen?

einmal zeigen , dass dein Automat nur genau die wörter der sprache lesen kann und einmal, dass deine sprache nur wörter erzeugt die der automat auch lesen kann.

das klingt jetzt wieder sehr gleich und wie genau das gemacht werden soll weiß ich auch nicht…

HAllo Leute!
In der Aufgabe 12.1 steht: "Begründen Sie die Korrektheit ihrer Konstruktion" Wie kann man das machen. Gibt es ein spezieles Verfahren dafür oder ein Paar Testeingaben wird schon  reichen?

Mit Testeingaben kann man nur Beweisen, dass etwas (Programme/Algorithmen/Konstruktionen)
FALSCH ist,
NIE dass das Vorgestellte korrekt ist!
Begründungen erläutern (oder beweisen gar formal) warum das Programm/der Algorithmus/die Konstruktion das tun wird, wofür es gedacht ist!

Wurde solches bisher in keiner Veranstaltung gesagt??

Doch…wurde gesagt. Bei Herrn Jantzen in FGI ;)