From ae3d7c7d8c2b8c6f9ac29266d97f8bacc2b9425f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz> Date: Thu, 1 May 2014 16:21:11 +0200 Subject: [PATCH] aconversions: predefined testcases --- examples/automaton/aconversion.test.2.xml | 76 +++++++++++++++++++++++ examples/automaton/aconversion.test.3.xml | 60 ++++++++++++++++++ examples/automaton/aconversion.test.4.xml | 30 +++++++++ 3 files changed, 166 insertions(+) create mode 100644 examples/automaton/aconversion.test.2.xml create mode 100644 examples/automaton/aconversion.test.3.xml create mode 100644 examples/automaton/aconversion.test.4.xml diff --git a/examples/automaton/aconversion.test.2.xml b/examples/automaton/aconversion.test.2.xml new file mode 100644 index 0000000000..d52907e94a --- /dev/null +++ b/examples/automaton/aconversion.test.2.xml @@ -0,0 +1,76 @@ +<automaton> + <states> + <state>0</state> + <state>1</state> + <state>2</state> + <state>3</state> + <state>4</state> + <state>5</state> + </states> + <inputAlphabet> + <symbol>a</symbol> + <symbol>b</symbol> + <symbol>c</symbol> + </inputAlphabet> + <transitions> + <transition> + <from>0</from> + <input>a</input> + <to>1</to> + </transition> + <transition> + <from>0</from> + <input>b</input> + <to>2</to> + </transition> + <transition> + <from>1</from> + <input>a</input> + <to>3</to> + </transition> + <transition> + <from>1</from> + <input>b</input> + <to>4</to> + </transition> + <transition> + <from>1</from> + <input>c</input> + <to>3</to> + </transition> + <transition> + <from>2</from> + <input>a</input> + <to>5</to> + </transition> + <transition> + <from>2</from> + <input>b</input> + <to>2</to> + </transition> + <transition> + <from>4</from> + <input>a</input> + <to>3</to> + </transition> + <transition> + <from>4</from> + <input>b</input> + <to>4</to> + </transition> + <transition> + <from>5</from> + <input>b</input> + <to>5</to> + </transition> + </transitions> + <initialStates> + <state>0</state> + </initialStates> + <finalStates> + <state>1</state> + <state>3</state> + <state>4</state> + <state>5</state> + </finalStates> +</automaton> diff --git a/examples/automaton/aconversion.test.3.xml b/examples/automaton/aconversion.test.3.xml new file mode 100644 index 0000000000..bdb7bf17e3 --- /dev/null +++ b/examples/automaton/aconversion.test.3.xml @@ -0,0 +1,60 @@ +<automaton> + <states> + <state>0</state> + <state>1</state> + <state>2</state> + <state>3</state> + </states> + <inputAlphabet> + <symbol>a</symbol> + <symbol>b</symbol> + </inputAlphabet> + <transitions> + <transition> + <from>0</from> + <input>a</input> + <to>1</to> + </transition> + <transition> + <from>0</from> + <input>b</input> + <to>0</to> + </transition> + <transition> + <from>1</from> + <input>a</input> + <to>1</to> + </transition> + <transition> + <from>1</from> + <input>b</input> + <to>2</to> + </transition> + <transition> + <from>2</from> + <input>a</input> + <to>3</to> + </transition> + <transition> + <from>2</from> + <input>b</input> + <to>0</to> + </transition> + <transition> + <from>3</from> + <input>a</input> + <to>1</to> + </transition> + <transition> + <from>3</from> + <input>b</input> + <to>2</to> + </transition> + </transitions> + <initialStates> + <state>0</state> + </initialStates> + <finalStates> + <state>3</state> + </finalStates> +</automaton> diff --git a/examples/automaton/aconversion.test.4.xml b/examples/automaton/aconversion.test.4.xml new file mode 100644 index 0000000000..f052059e4f --- /dev/null +++ b/examples/automaton/aconversion.test.4.xml @@ -0,0 +1,30 @@ +<automaton> + <states> + <state>1</state> + <state>2</state> + <state>3</state> + <state>0</state> + </states> + <inputAlphabet> + <symbol>a</symbol> + <symbol>b</symbol> + </inputAlphabet> + <transitions> + <transition> + <from>0</from> + <input>a</input> + <to>1</to> + </transition> + <transition> + <from>2</from> + <input>a</input> + <to>3</to> + </transition> + </transitions> + <initialStates> + <state>0</state> + </initialStates> + <finalStates> + <state>3</state> + </finalStates> +</automaton> -- GitLab