From 41e2696bf614e8d9c668d20060d91df97c2bd7d2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz> Date: Mon, 31 Mar 2014 19:24:26 +0200 Subject: [PATCH] Examples: Automata into own directory, added words --- examples/{ => automaton}/DFSM1IS.xml | 0 examples/{ => automaton}/FSM.xml | 0 examples/{ => automaton}/FSM2.xml | 0 examples/{ => automaton}/NFSM1.DET.xml | 0 examples/{ => automaton}/NFSM1.xml | 0 examples/{ => automaton}/NFSM2.xml | 0 examples/{ => automaton}/NFSM3.xml | 0 examples/{ => automaton}/NFSM4.xml | 0 examples/{ => automaton}/NIDPDA1.xml | 0 examples/{ => automaton}/NIDPDA2.xml | 0 examples/{ => automaton}/NIDPDA3.xml | 0 examples/{ => automaton}/NIDPDA4.xml | 0 examples/{ => automaton}/PDA.xml | 0 examples/{ => automaton}/RHDPDA2.xml | 0 examples/{ => automaton}/RHDPDA3.xml | 0 examples/{ => automaton}/RHDPDA4.xml | 0 examples/{ => automaton}/RHDPDA5.xml | 0 examples/{ => automaton}/TM.xml | 0 examples/{ => automaton}/TM2.xml | 0 examples/{ => automaton}/TM3.xml | 0 examples/{ => automaton}/VPA1.xml | 0 examples/{ => automaton}/VPA2.xml | 0 examples/string/empty.xml | 10 ++++++++++ examples/string/word.xml | 21 +++++++++++++++++++++ 24 files changed, 31 insertions(+) rename examples/{ => automaton}/DFSM1IS.xml (100%) rename examples/{ => automaton}/FSM.xml (100%) rename examples/{ => automaton}/FSM2.xml (100%) rename examples/{ => automaton}/NFSM1.DET.xml (100%) rename examples/{ => automaton}/NFSM1.xml (100%) rename examples/{ => automaton}/NFSM2.xml (100%) rename examples/{ => automaton}/NFSM3.xml (100%) rename examples/{ => automaton}/NFSM4.xml (100%) rename examples/{ => automaton}/NIDPDA1.xml (100%) rename examples/{ => automaton}/NIDPDA2.xml (100%) rename examples/{ => automaton}/NIDPDA3.xml (100%) rename examples/{ => automaton}/NIDPDA4.xml (100%) rename examples/{ => automaton}/PDA.xml (100%) rename examples/{ => automaton}/RHDPDA2.xml (100%) rename examples/{ => automaton}/RHDPDA3.xml (100%) rename examples/{ => automaton}/RHDPDA4.xml (100%) rename examples/{ => automaton}/RHDPDA5.xml (100%) rename examples/{ => automaton}/TM.xml (100%) rename examples/{ => automaton}/TM2.xml (100%) rename examples/{ => automaton}/TM3.xml (100%) rename examples/{ => automaton}/VPA1.xml (100%) rename examples/{ => automaton}/VPA2.xml (100%) create mode 100644 examples/string/empty.xml create mode 100644 examples/string/word.xml 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 0000000000..de8c746eb7 --- /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 0000000000..fc94c10ad1 --- /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> -- GitLab