add salmples for PDT

sakateka · Apr 5, 2018 · 202733e · 202733e
1 parent 7a129bb
commit 202733e
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/sample/pdt/control-question-6.yaml b/sample/pdt/control-question-6.yaml
@@ -0,0 +1,11 @@
+start_state: 0
+bottom_character: E
+accept_by_empty_stack: true
+accept_states: [0]
+rulebook:
+  rules:
+    - {state: 0, character: '*', pop_character:   E, next_state: 0, push_characters: [E, E, '*'], translated:   ~}
+    - {state: 0, character:   ~, pop_character: '+', next_state: 0, push_characters: [],          translated: '+'}
+    - {state: 0, character:   a, pop_character:   E, next_state: 0, push_characters: [],          translated:   a}
+    - {state: 0, character: '+', pop_character:   E, next_state: 0, push_characters: [E, E, '+'], translated:   ~}
+    - {state: 0, character:   ~, pop_character: '*', next_state: 0, push_characters: [],          translated: '*'}
diff --git a/sample/pdt/t-for_xy_x-0k1k_y-a2kb2k_k-gt-0.yaml b/sample/pdt/t-for_xy_x-0k1k_y-a2kb2k_k-gt-0.yaml
@@ -0,0 +1,11 @@
+start_state: 0
+bottom_character: Z
+accept_by_empty_stack: true
+accept_states: [2]
+rulebook:
+  rules:
+    - {state: 0, character: '0', translated: aa, pop_character:   Z, next_state: 0, push_characters: ['0', Z]}
+    - {state: 0, character: '0', translated: aa, pop_character: '0', next_state: 0, push_characters: ['0', '0']}
+    - {state: 0, character: '1', translated: bb, pop_character: '0', next_state: 1, push_characters: []}
+    - {state: 1, character: '1', translated: bb, pop_character: '0', next_state: 1, push_characters: []}
+    - {state: 1, character:   ~, translated:  ~, pop_character:   Z, next_state: 2, push_characters: []}