diff --git a/examples2/rte/rte1.xml b/examples2/rte/rte1.xml index f9dafc76950fc8e52b5aa081b8112f42e488f8a0..ddbf01b6cdf13b549e96c78d27b67f4667717689 100644 --- a/examples2/rte/rte1.xml +++ b/examples2/rte/rte1.xml @@ -1,169 +1,52 @@ <?xml version="1.0"?> <FormalRTE> - <alphabet> - <RankedSymbol> - - - <String>a</String> - - - <Unsigned>2</Unsigned> - </RankedSymbol> - <RankedSymbol> - - - <String>b</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - <RankedSymbol> - - - <String>c</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - <RankedSymbol> - - - <String>d</String> - - - <Unsigned>1</Unsigned> - </RankedSymbol> - </alphabet> - <substSymbolAlphabet> - <RankedSymbol> - - - <String>y</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - <RankedSymbol> - - - <String>z</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - </substSymbolAlphabet> - <substitution> - <RankedSymbol> - - - <String>y</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - <substitution> - <RankedSymbol> - - - <String>z</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - <iteration> - <RankedSymbol> - - - <String>y</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - <symbol> - <RankedSymbol> - - - <String>d</String> - - - <Unsigned>1</Unsigned> - </RankedSymbol> - <symbol> - <RankedSymbol> - - - <String>a</String> - - - <Unsigned>2</Unsigned> - </RankedSymbol> - <substSymbol> - <RankedSymbol> - - - <String>y</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - </substSymbol> - <substSymbol> - <RankedSymbol> - - - <String>z</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - </substSymbol> - </symbol> - </symbol> - </iteration> - <alternation> - <symbol> - <RankedSymbol> - - - <String>b</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - </symbol> - <symbol> - <RankedSymbol> - - - <String>c</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - </symbol> - </alternation> - </substitution> - <alternation> - <symbol> - <RankedSymbol> - - - <String>b</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - </symbol> - <symbol> - <RankedSymbol> - - - <String>c</String> - - - <Unsigned>0</Unsigned> - </RankedSymbol> - </symbol> - </alternation> - </substitution> + <alphabet> + <RankedSymbol> <String>a</String> <Unsigned>2</Unsigned> </RankedSymbol> + <RankedSymbol> <String>b</String> <Unsigned>0</Unsigned> </RankedSymbol> + <RankedSymbol> <String>c</String> <Unsigned>0</Unsigned> </RankedSymbol> + <RankedSymbol> <String>d</String> <Unsigned>1</Unsigned> </RankedSymbol> + </alphabet> + + <substSymbolAlphabet> + <RankedSymbol> <String>y</String> <Unsigned>0</Unsigned> </RankedSymbol> + <RankedSymbol> <String>z</String> <Unsigned>0</Unsigned> </RankedSymbol> + </substSymbolAlphabet> + + <substitution> + <RankedSymbol> <String>y</String> <Unsigned>0</Unsigned> </RankedSymbol> + + <substitution> + <RankedSymbol> <String>z</String> <Unsigned>0</Unsigned> </RankedSymbol> + + <iteration> + <RankedSymbol> <String>y</String> <Unsigned>0</Unsigned> </RankedSymbol> + + <symbol> + <RankedSymbol> <String>d</String> <Unsigned>1</Unsigned> </RankedSymbol> + <symbol> + <RankedSymbol> <String>a</String> <Unsigned>2</Unsigned> </RankedSymbol> + <substSymbol> <RankedSymbol> <String>y</String> <Unsigned>0</Unsigned> </RankedSymbol> </substSymbol> + <substSymbol> <RankedSymbol> <String>z</String> <Unsigned>0</Unsigned> </RankedSymbol> </substSymbol> + </symbol> + </symbol> + </iteration> + + <alternation> + <symbol> + <RankedSymbol> <String>b</String> <Unsigned>0</Unsigned> </RankedSymbol> + </symbol> + <symbol> + <RankedSymbol> <String>c</String> <Unsigned>0</Unsigned> </RankedSymbol> + </symbol> + </alternation> + </substitution> + <alternation> + <symbol> + <RankedSymbol> <String>b</String> <Unsigned>0</Unsigned> </RankedSymbol> + </symbol> + <symbol> + <RankedSymbol> <String>c</String> <Unsigned>0</Unsigned> </RankedSymbol> + </symbol> + </alternation> + </substitution> </FormalRTE> diff --git a/examples2/rte/rte8.xml b/examples2/rte/rte8.xml index 5dc29843b0bbe62075fda8823ed4e21291e798db..e516bee350ca0a8a722d0693e1e25cc594b3b6bb 100644 --- a/examples2/rte/rte8.xml +++ b/examples2/rte/rte8.xml @@ -1,6 +1,6 @@ <FormalRTE> <alphabet> - <RankedSymbol><String>a</String><Unsigned>4</Unsigned></RankedSymbol> + <RankedSymbol><String>a</String><Unsigned>2</Unsigned></RankedSymbol> <RankedSymbol><String>b</String><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><String>c</String><Unsigned>0</Unsigned></RankedSymbol> @@ -18,7 +18,7 @@ <RankedSymbol><String>z</String><Unsigned>0</Unsigned></RankedSymbol> <symbol> - <RankedSymbol><String>a</String><Unsigned>4</Unsigned></RankedSymbol> + <RankedSymbol><String>a</String><Unsigned>2</Unsigned></RankedSymbol> <substSymbol> <RankedSymbol><String>z</String><Unsigned>0</Unsigned></RankedSymbol> </substSymbol>