Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
--- Beweis fuer minimal DFA (http://www.informatikerboard.de/board/thread.php?threadid=449)
Geschrieben von sanv am 10.10.2008 um 22:08:
Beweis fuer minimal DFA
Hallo,
ich habe eine Frage zum Beweisen, dass ein DFA die min. Anzahl von States hat.
Wie kann man das am einfachsten beweisen, wenn ich zB. folgenden DFA habe?
Geschrieben von kiste am 12.10.2008 um 11:43:
Entweder du zeigst das die Zustände genau den Äquivalenzklassen der Neroderelation entsprechen oder du führst einen Minimierungsalgorithmus aus
Forensoftware: Burning Board, entwickelt von WoltLab GmbH