From b5de950da9e2b3d06c3cab2e4d441a34d40c7e99 Mon Sep 17 00:00:00 2001 From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz> Date: Sat, 6 Jun 2015 16:24:54 +0200 Subject: [PATCH] update NFTA.DET xml format --- examples2/automaton/NFTA.DET.xml | 651 ++++++++++++++++++++++++++++++- 1 file changed, 650 insertions(+), 1 deletion(-) diff --git a/examples2/automaton/NFTA.DET.xml b/examples2/automaton/NFTA.DET.xml index 4183107b6d..78b83184ce 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> -- GitLab