FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Theoretische Informatik (HS)

Zählerautomaten

Zählerautomaten 2005-02-28 16:52
Anonymer User
kann mir jemand was zu Zählerautomaten sagen? (Konfiguration, etc..)
wieso ist bei ihnen die Beschränktheit nicht entscheidbar??!
weiß das zufällig jemand..?
Vielen Dank!
Re: Zählerautomaten 2005-02-28 17:04
UncleOwen
kann mir jemand was zu Zählerautomaten sagen? (Konfiguration, etc..)

Die Konfiguration besteht aus dem Zustand der endlichen Kontrolle und den Zählerständen.

wieso ist bei ihnen die Beschränktheit nicht entscheidbar??!

Zählerautomaten sind äquivalent zu Turing-Maschinen (F3-Skript, Theorem 2.37, Ausgabe vom SS03)