Skip to content
Snippets Groups Projects
Commit ae3d7c7d authored by Tomáš Pecka's avatar Tomáš Pecka
Browse files

aconversions: predefined testcases

parent 90f16245
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
examples/automaton/aconversion.test.2.xml 0 → 100644
+ 76
− 0
View file @ ae3d7c7d
<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>
examples/automaton/aconversion.test.3.xml 0 → 100644
+ 60
− 0
View file @ ae3d7c7d
<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>
examples/automaton/aconversion.test.4.xml 0 → 100644
+ 30
− 0
View file @ ae3d7c7d
<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>
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment