Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- markow:universal [2019/09/09 23:47] – [Eingabeformat] Tscherter, Vincent
+++ markow:universal [2019/09/10 12:17] (aktuell) – Tscherter, Vincent
@@ Zeile 1: / Zeile 1: @@
+====== 💎 Universalität ======
+. Zeige, dass die (RE)MA eine TM simulieren können.
+. 👉 Zeige, dass die (RE)MA eine MA simulieren kann.
+. Zeige, wie aus jedem REMA ein äquivalener MA erstellt werden kann.
+===== REMA vs MA =====
+Ein MA ist rein REMA ohne reguläre Ausdrücke. Die Suche erfolgt ausschliesslich wortwörtlich (literally). Es sind reine typographisch Ersetzungsregeln. Markers sind allerdings erlaubt. Die Ergänzung der MA um RE erlaubt gewisse Dinge deutlich einfach zu erledigen, nun müssen wir aber darauf verzichten.
+Beispiel: Füge am Ende der Eingabe über das Alphabeth Σ = {''0'', ''1''} eine ''1'' hinzu.
+  * Als REMA: ''/$/1/!'' und fertig
+  * Als einfache MA: <code>
+/α1/1α/
+/α0/0α/
+/α/1/!
+//α/
+</code>
+Mangels Joker ''.'' und Gruppen ''(...)'' muss hier für jeden Buchstaben in Alphabet eine Regel angegeben werden wie
+das ''α'' ans Ende kommt. Ganz schön mühsam.
+===== Eingabeformat =====
+<code>000000000ε
+α1 → 1α
+α0 → 0α
+α  ¬ 1
+ε  → α
+</code>
+eXECUTOR
+<code>
+/\n/Σ/g
+/\s//g
+/ΔΨ([^Σ]*Σ)(.*)Ψε→([^Σ]*)/ΔΨ$3$1Ψ$2ε→$3/
+/ΔΨ([^Σ]*)(.*)(ΣΨε¬)([^Σ]*)/$4$1/ !
+/Δ(.*?)(.+)Ψ([^Σ]*Σ)(.*)\2Ψ→(ε)/ΔΨ$1$3Ψ$4$2→$5/
+/Δ(.*?)(.+)Ψ([^Σ]*Σ)(.*)\2Ψ¬(ε).*/$1/!
+/Δ(.*?)(.+)Ψ([^Σ]*Σ)(.*)\2Ψ→([^Σ]*)/ΔΨ$1$5$3Ψ$4$2→$5/
+/Δ(.*?)(.+)Ψ([^Σ]*Σ)(.*)\2Ψ¬([^Σ]*).*/$1$5/!
+/Ψ([^Σ])(.*)Ψ\1/$1Ψ$2$1Ψ/
+/Ψ([^Σ])(.*Σ)Ψ(.)/$1Ψ$2Ψ$3/
+/Δ(.*)Ψ(.*[^Σ])Ψ(.*?Σ)/ΔΨ$1$2$3Ψ/
+/Δ(.*)ΨΣ(.*)Ψ(.*?)Σ/ΔΨ$1Σ$2$3ΣΨ/
+/Δ(.*)ΨΣ.*/$1/!
+/(.*?)Σ/ΔΨ$1ΣΨ/</code>

exorciser.ch

Webseiten-Werkzeuge

Unterschiede

Benutzer-Werkzeuge

Seiten-Werkzeuge

Webseiten-Werkzeuge