diff --git a/examples/automaton/aconversion.test.2.xml b/examples/automaton/aconversion.test.2.xml new file mode 100644 index 0000000000000000000000000000000000000000..d52907e94a8326a21894942cd4867b6000a29d71 --- /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 0000000000000000000000000000000000000000..bdb7bf17e3ac7af1ba206814387173600823c68d --- /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 0000000000000000000000000000000000000000..f052059e4ffb7cf77946986344c39a21fc7141bc --- /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>