Diskussion:Rabin-Automat
Benennung
[Quelltext bearbeiten]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)
Alternative Definition
[Quelltext bearbeiten]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)
- Erledigt. --D3rT!m (Diskussion) 20:24, 29. Dez. 2022 (CET)