diff options
Diffstat (limited to 'graphics/jflap2tikz/examples/ex0.1a.jff')
-rw-r--r-- | graphics/jflap2tikz/examples/ex0.1a.jff | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/graphics/jflap2tikz/examples/ex0.1a.jff b/graphics/jflap2tikz/examples/ex0.1a.jff new file mode 100644 index 0000000000..e4068c24db --- /dev/null +++ b/graphics/jflap2tikz/examples/ex0.1a.jff @@ -0,0 +1,50 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure> + <type>fa</type> + <automaton> + <!--The list of states.--> + <state id="0" name="q0"> + <x>62.0</x> + <y>114.0</y> + <initial/> + </state> + <state id="1" name="q1"> + <x>163.0</x> + <y>51.0</y> + </state> + <state id="2" name="q2"> + <x>184.0</x> + <y>162.0</y> + </state> + <state id="3" name="q3"> + <x>275.0</x> + <y>92.0</y> + <final/> + </state> + <!--The list of transitions.--> + <transition> + <from>0</from> + <to>2</to> + <read>b</read> + </transition> + <transition> + <from>2</from> + <to>0</to> + <read>a</read> + </transition> + <transition> + <from>1</from> + <to>2</to> + <read>a</read> + </transition> + <transition> + <from>0</from> + <to>1</to> + <read/> + </transition> + <transition> + <from>1</from> + <to>3</to> + <read>a</read> + </transition> + </automaton> +</structure>
\ No newline at end of file |