Add examples

Author: fbbdev

examples/binaryAdd.txt

@@ -0,0 +1,60 @@
+init test
+blank *
+
+test 0 0 R skipO1
+test 1 1 R skipO1
+test * * R halt
+
+skipO1 z z R skipO1
+skipO1 o o R skipO1
+skipO1 0 0 R skipO1
+skipO1 1 1 R skipO1
+skipO1 * * R getO2
+
+getO2 * * L rewrite
+getO2 0 0 R getO2_0
+getO2 1 1 R getO2_1
+
+getO2_0 0 0 R getO2_0
+getO2_0 1 1 R getO2_1
+getO2_0 * * L biteO2_0
+
+getO2_1 0 0 R getO2_0
+getO2_1 1 1 R getO2_1
+getO2_1 * * L biteO2_1
+
+biteO2_0 0 * L rskipO2_0
+
+biteO2_1 1 * L rskipO2_1
+
+rskipO2_0 0 0 L rskipO2_0
+rskipO2_0 1 1 L rskipO2_0
+rskipO2_0 * * L add_0
+
+add_0 z z L add_0
+add_0 o o L add_0
+add_0 0 z R skipO1
+add_0 1 o R skipO1
+add_0 * z R skipO1
+
+rskipO2_1 0 0 L rskipO2_1
+rskipO2_1 1 1 L rskipO2_1
+rskipO2_1 * * L add_1
+
+add_1 z z L add_1
+add_1 o o L add_1
+add_1 0 o R skipO1
+add_1 1 z L incr
+add_1 * o R skipO1
+
+incr 1 0 L incr
+incr 0 1 R skipO1
+incr * 1 R skipO1
+
+rewrite * * L rewrite'
+
+rewrite' z 0 L rewrite'
+rewrite' o 1 L rewrite'
+rewrite' 0 0 L rewrite'
+rewrite' 1 1 L rewrite'
+rewrite' * * R halt

examples/binaryIncr.txt

@@ -0,0 +1,14 @@
+init q0
+blank *
+
+q0 * * L q1
+q0 0 0 R q0
+q0 1 1 R q0
+
+q1 * 1 L q2
+q1 0 1 L q2
+q1 1 0 L q1
+
+q2 * * R halt
+q2 0 0 L q2
+q2 1 1 L q2

examples/unaryDup.txt

@@ -0,0 +1,19 @@
+init test
+blank *
+
+test 1 * R skipOrigR
+test * * R halt
+
+skipOrigR 1 1 R skipOrigR
+skipOrigR * * R skipCopyR
+
+skipCopyR 1 1 R skipCopyR
+skipCopyR * 1 R write1
+
+write1 * 1 L skipCopyL
+
+skipCopyL 1 1 L skipCopyL
+skipCopyL * * L skipOrigL
+
+skipOrigL 1 1 L skipOrigL
+skipOrigL * * R test

src/index.mjs

@@ -1233,7 +1233,7 @@ class App {
             this.updateGraphStyle(this.state, prevTransition);
         };
 
-        const init = () => {
+        const init = async () => {
             const prev = this.editorTextArea.value;
 
             this.editorTextArea.value = "init halt\nblank *\n";
@@ -1249,6 +1249,25 @@ class App {
 
             this.tapeResizeObserver = new ResizeObserver(() => this.updateTape(true));
             this.tapeResizeObserver.observe(this.tape);
+
+            const params = new URLSearchParams(window.location.search);
+            if (!params.has('fetch'))
+                return;
+
+            try {
+                const response = await fetch(params.get('fetch'));
+                if (!response.ok) {
+                    UIkit.notification('Could not load example', 'warning');
+                    return;
+                }
+
+                this.state = null;
+                this.editorTextArea.value = await response.text();
+                this.editorHighlights.innerText = this.editorTextArea.value + " ";
+                this.update();
+            } catch (err) {
+                UIkit.notification('Could not load example', 'warning');
+            }
         }
 
         if (document.readyState === 'complete') {