diff --git a/examples/DFSM1IS.xml b/examples/automaton/DFSM1IS.xml similarity index 100% rename from examples/DFSM1IS.xml rename to examples/automaton/DFSM1IS.xml diff --git a/examples/FSM.xml b/examples/automaton/FSM.xml similarity index 100% rename from examples/FSM.xml rename to examples/automaton/FSM.xml diff --git a/examples/FSM2.xml b/examples/automaton/FSM2.xml similarity index 100% rename from examples/FSM2.xml rename to examples/automaton/FSM2.xml diff --git a/examples/NFSM1.DET.xml b/examples/automaton/NFSM1.DET.xml similarity index 100% rename from examples/NFSM1.DET.xml rename to examples/automaton/NFSM1.DET.xml diff --git a/examples/NFSM1.xml b/examples/automaton/NFSM1.xml similarity index 100% rename from examples/NFSM1.xml rename to examples/automaton/NFSM1.xml diff --git a/examples/NFSM2.xml b/examples/automaton/NFSM2.xml similarity index 100% rename from examples/NFSM2.xml rename to examples/automaton/NFSM2.xml diff --git a/examples/NFSM3.xml b/examples/automaton/NFSM3.xml similarity index 100% rename from examples/NFSM3.xml rename to examples/automaton/NFSM3.xml diff --git a/examples/NFSM4.xml b/examples/automaton/NFSM4.xml similarity index 100% rename from examples/NFSM4.xml rename to examples/automaton/NFSM4.xml diff --git a/examples/NIDPDA1.xml b/examples/automaton/NIDPDA1.xml similarity index 100% rename from examples/NIDPDA1.xml rename to examples/automaton/NIDPDA1.xml diff --git a/examples/NIDPDA2.xml b/examples/automaton/NIDPDA2.xml similarity index 100% rename from examples/NIDPDA2.xml rename to examples/automaton/NIDPDA2.xml diff --git a/examples/NIDPDA3.xml b/examples/automaton/NIDPDA3.xml similarity index 100% rename from examples/NIDPDA3.xml rename to examples/automaton/NIDPDA3.xml diff --git a/examples/NIDPDA4.xml b/examples/automaton/NIDPDA4.xml similarity index 100% rename from examples/NIDPDA4.xml rename to examples/automaton/NIDPDA4.xml diff --git a/examples/PDA.xml b/examples/automaton/PDA.xml similarity index 100% rename from examples/PDA.xml rename to examples/automaton/PDA.xml diff --git a/examples/RHDPDA2.xml b/examples/automaton/RHDPDA2.xml similarity index 100% rename from examples/RHDPDA2.xml rename to examples/automaton/RHDPDA2.xml diff --git a/examples/RHDPDA3.xml b/examples/automaton/RHDPDA3.xml similarity index 100% rename from examples/RHDPDA3.xml rename to examples/automaton/RHDPDA3.xml diff --git a/examples/RHDPDA4.xml b/examples/automaton/RHDPDA4.xml similarity index 100% rename from examples/RHDPDA4.xml rename to examples/automaton/RHDPDA4.xml diff --git a/examples/RHDPDA5.xml b/examples/automaton/RHDPDA5.xml similarity index 100% rename from examples/RHDPDA5.xml rename to examples/automaton/RHDPDA5.xml diff --git a/examples/TM.xml b/examples/automaton/TM.xml similarity index 100% rename from examples/TM.xml rename to examples/automaton/TM.xml diff --git a/examples/TM2.xml b/examples/automaton/TM2.xml similarity index 100% rename from examples/TM2.xml rename to examples/automaton/TM2.xml diff --git a/examples/TM3.xml b/examples/automaton/TM3.xml similarity index 100% rename from examples/TM3.xml rename to examples/automaton/TM3.xml diff --git a/examples/VPA1.xml b/examples/automaton/VPA1.xml similarity index 100% rename from examples/VPA1.xml rename to examples/automaton/VPA1.xml diff --git a/examples/VPA2.xml b/examples/automaton/VPA2.xml similarity index 100% rename from examples/VPA2.xml rename to examples/automaton/VPA2.xml diff --git a/examples/string/empty.xml b/examples/string/empty.xml new file mode 100644 index 0000000000000000000000000000000000000000..de8c746eb7c0be98bdae0e9f420a0650675722f7 --- /dev/null +++ b/examples/string/empty.xml @@ -0,0 +1,10 @@ +<string> + <alphabet> + <symbol>a</symbol> + <symbol>c</symbol> + <symbol>t</symbol> + <symbol>g</symbol> + </alphabet> + <content> + </content> +</string> diff --git a/examples/string/word.xml b/examples/string/word.xml new file mode 100644 index 0000000000000000000000000000000000000000..fc94c10ad13ed69d8ec96dcbe37281d0075bc9e9 --- /dev/null +++ b/examples/string/word.xml @@ -0,0 +1,21 @@ +<string> + <alphabet> + <symbol>a</symbol> + <symbol>c</symbol> + <symbol>t</symbol> + <symbol>g</symbol> + </alphabet> + <content> + <symbol>a</symbol> + <symbol>t</symbol> + <symbol>t</symbol> + <symbol>c</symbol> + <symbol>g</symbol> + <symbol>c</symbol> + <symbol>c</symbol> + <symbol>g</symbol> + <symbol>t</symbol> + <symbol>t</symbol> + <symbol>a</symbol> + </content> +</string>