Diskussion:Rabin-Automat

Benennung Bearbeiten

Letzter Kommentar: vor 13 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

Ist der Rabin-Automat nach Automatentheoretiker Michael O. Rabin benannt? Wenn ja, sollte das erwähnt werden. Wenn nein, dann natürlich, nach wem sonst ;). Google und Wikipedia haben mir leider keine befriedigenden Evidenzien geliefert, und sämtliche verfügbaren Schriften von Rabin nach passenden Automatendefinitionen durchsuchen, möchte ich nun auch nicht. --YMS 01:11, 5. Jan. 2011 (CET)Beantworten

Alternative Definition Bearbeiten

Letzter Kommentar: vor 1 Jahr2 Kommentare2 Personen sind an der Diskussion beteiligt

Laut M. Hofmann, M. Lange "Automatentheorie und Logik" ist der Rabin-Automat gerade andersrum definiert. Also die erste Tupelkomponente soll Zustände enthalten, die unendlich oft vorkommen und die zweite solche, die nur endlich oft vorkommen, damit der Automat akzeptiert. Ist sicher reine Geschmackssache, aber man sollte es vielleicht erwähnen, dass man es auch anders definieren kann - oder ist das die gebräuchlichere Variante? 92.229.18.4 17:00, 26. Jan. 2012 (CET)Beantworten

Erledigt. --D3rT!m (Diskussion) 20:24, 29. Dez. 2022 (CET)Beantworten

Abschnitt hinzufügen