Richtigkeit anhand Testwort

Question

Eine prinzipielle Frage zu Kellerautomaten:

Kann man davon ausgehen, dass der Kellerautomat richtg definiert wurde, wenn man ein (nicht triviales) Testwort der Sprache damit erzeugen kann?

Habe bei den Aufgaben öfter eine andere Lösung gefunden und bin nun unsicher, ob diese auch zulässig sind.

Answer 1

Zu 1) Nein, da kannst du leider nicht sicher sein. Du könntest ja auch einfach Glück haben und mit deinem fehlerbehafteten KA das Testwort erkennen.

Zu 2) Es gibt oft viele Möglichkeiten, eine richtigen KA zu definieren. Am besten man versucht auch alle möglichen Spezialfälle zu überdenken und in Produktionen zu erfassen. Bsp: leeres Wort, a^m b^n c^k mit m = n+k : n oder k können null sein etc.

Viele Grüße,

Sven (Tutor)