Automata Programmiersprache

Question

Kennen Sie eine Programmiersprache, die abstrakte Maschinen wie Turing-Maschinen und Finite-State-Automaten implementiert?

Das heißt, das Verfahren der folgende Eingabe:

• A 5-Tupel (The notorious ⟨Q,Σ,δ,q0,F⟩ from formal languages 101), ein 7-tuple für Turingmaschinen oder andere formale Darstellung einer abstrakten Maschine.
• Ein Eingabewort.

Und sagen Sie mir, ob das Eingabewort ein akzeptierendes Wort war.

Danke,

Adam

Answer 1

Die J programming language bietet einen endlichen Automaten als primitives Symbol der Sprache. Die Dokumentation für dieses Symbol lautet here.

Das sagte, lassen Sie mich warnen, dass Sequential Machine ist kein geeigneter Ausgangspunkt für die J-Sprache. Es ist eine fortgeschrittene Komponente. Der Versuch, es ohne wesentliche Vertrautheit mit J zu verwenden, wird wahrscheinlich zu viel Frustration führen.

Ein zugänglicher Aufsatz, der die Verwendung von Js Sequential Machine demonstriert, ist Huffman Coding.

Answer 2

Ich weiß nicht, über die Turing-Maschine. Ich bin mir sicher, dass die Leute dort draußen Simulatoren geschrieben haben. Für die FSAs könnten Sie einfach einen regulären Ausdruck verwenden. :)