diff --git a/examples2/automaton/NFTA.DET.xml b/examples2/automaton/NFTA.DET.xml index 4183107b6da64f28bc0a350d6a8a200647dab6fe..78b83184ce275de31b2c606d8c24f6c174a5fa98 100644 --- a/examples2/automaton/NFTA.DET.xml +++ b/examples2/automaton/NFTA.DET.xml @@ -1,2 +1,651 @@ <?xml version="1.0"?> -<DFTA><states><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></states><rankedInputAlphabet><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol><RankedSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel><Integer>1</Integer></RankedSymbol><RankedSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel><Integer>0</Integer></RankedSymbol></rankedInputAlphabet><finalStates><LabelSetLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></finalStates><transitions><transition><input><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel><Integer>2</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel><Integer>1</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel><Integer>1</Integer></RankedSymbol></input><from><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel><PrimitiveLabel><Integer>2</Integer></PrimitiveLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></from><to><LabelSetLabel><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabelSetLabel></to></transition><transition><input><RankedSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel><Integer>0</Integer></RankedSymbol></input><from/><to><LabelSetLabel><PrimitiveLabel><Integer>3</Integer></PrimitiveLabel></LabelSetLabel></to></transition></transitions></DFTA> +<DFTA> + <states> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </states> + <rankedInputAlphabet> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>b</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>1</Unsigned> + </RankedSymbol> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>c</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>0</Unsigned> + </RankedSymbol> + </rankedInputAlphabet> + <finalStates> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </finalStates> + <transitions> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>a</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>2</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>b</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>1</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>b</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>1</Unsigned> + </RankedSymbol> + </input> + <from> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>2</Unsigned> + </PrimitiveLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </from> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>1</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + <transition> + <input> + <RankedSymbol> +<LabeledSymbol> + <PrimitiveLabel> + <Character>c</Character> + </PrimitiveLabel> +</LabeledSymbol> + <Unsigned>0</Unsigned> + </RankedSymbol> + </input> + <from/> + <to> + <LabelSetLabel> + <PrimitiveLabel> + <Unsigned>3</Unsigned> + </PrimitiveLabel> + </LabelSetLabel> + </to> + </transition> + </transitions> +</DFTA>