Automaten in Source Code

Thema durchsuchen

Ansicht

Themen-Optionen

Automaten in Source Code

Ein Thema von Christian18 · begonnen am 20. Nov 2009 · letzter Beitrag vom 1. Dez 2009

Vorheriger Beitrag

Nächster Beitrag

JasonDX

(CodeLib-Manager)

Registriert seit: 5. Aug 2004
Ort: München
1.062 Beiträge

Re: Automaten in Source Code

21. Nov 2009, 00:44

Zitat von SebE:

Eigentlich ist jedes Program ein Automat

Wenn wir von regulären Automaten sprechen, ist das nicht richtig. Reguläre Automaten sind deutlich ausdrucksärmer als Programme/Turingmaschinen/Lamdaterme.
Als Beispiel: Kein regulärer Automat dieser Welt kann x*x ausrechnen (Beweisbar durch Myhill-Nerode).

greetz
Mike

btw, zum Topic: Ein Theoretiker würde den Automaten in eine Regex umwandeln, und dann dafür existierende Funktionen verwenden