<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure> <type>fa</type> <automaton> <!--The list of states.--> <state id="0" name="q0"> <x>231.0</x> <y>267.0</y> <label>0,3,6,9,...</label> <initial/> <final/> </state> <state id="1" name="q1"> <x>425.0</x> <y>171.0</y> <label>1,4,7,10,...</label> </state> <state id="2" name="q2"> <x>477.0</x> <y>312.0</y> <label>2,5,8,11,...</label> </state> <!--The list of transitions.--> <transition> <from>1</from> <to>2</to> <read>a</read> </transition> <transition> <from>1</from> <to>2</to> <read>b</read> </transition> <transition> <from>1</from> <to>2</to> <read>c</read> </transition> <transition> <from>2</from> <to>0</to> <read>b</read> </transition> <transition> <from>2</from> <to>0</to> <read>c</read> </transition> <transition> <from>2</from> <to>0</to> <read>a</read> </transition> <transition> <from>0</from> <to>1</to> <read>b</read> </transition> <transition> <from>0</from> <to>1</to> <read>c</read> </transition> <transition> <from>0</from> <to>1</to> <read>a</read> </transition> </automaton> </structure>