diff --git a/examples2/rte/rte.xml b/examples2/rte/rte.xml index 9289d61df3c1100e716172021103dc10f8f5dcef..03b7f8153083370c14a4db18d1d6b028b2be264c 100644 --- a/examples2/rte/rte.xml +++ b/examples2/rte/rte.xml @@ -5,10 +5,10 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>y</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><SymbolRef id="5"/><Unsigned>0</Unsigned></RankedSymbol> <iteration> @@ -17,12 +17,12 @@ <RankedSymbol><SymbolRef id="3"/><Unsigned>1</Unsigned></RankedSymbol> <symbol> <RankedSymbol><SymbolRef id="0"/><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><SymbolRef id="5"/><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </symbol> </iteration> diff --git a/examples2/rte/rte1.xml b/examples2/rte/rte1.xml index 7881b09459970ae5a340d3195c22015d3f19e109..87b8435a329b1e0e574fd88bad41b096f72fa295 100644 --- a/examples2/rte/rte1.xml +++ b/examples2/rte/rte1.xml @@ -5,10 +5,10 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>y</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol> @@ -20,12 +20,12 @@ <RankedSymbol><SymbolRef id="3"/><Unsigned>1</Unsigned></RankedSymbol> <symbol> <RankedSymbol><SymbolRef id="0"/><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><SymbolRef id="5"/><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </symbol> </iteration> diff --git a/examples2/rte/rte2.xml b/examples2/rte/rte2.xml index 98350faaffdb07e8170889e09d8e6ff7ec232b15..25c4b78938b55b35f3d33afd139563fe90172150 100644 --- a/examples2/rte/rte2.xml +++ b/examples2/rte/rte2.xml @@ -3,21 +3,21 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> <symbol> diff --git a/examples2/rte/rte3.xml b/examples2/rte/rte3.xml index 60f92a1778db57bc93f1f887d8062e845cf0543c..5b348b68ea17ec0d7270e3f1e87c6fcd3922ef8d 100644 --- a/examples2/rte/rte3.xml +++ b/examples2/rte/rte3.xml @@ -3,9 +3,9 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -15,12 +15,12 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </iteration> diff --git a/examples2/rte/rte4.xml b/examples2/rte/rte4.xml index f861e27bd5bc9bf1557fbe25c5e93c53a6fb8b9e..8132f594323f6d5aa39cf629efc6f1249a0eb7fe 100644 --- a/examples2/rte/rte4.xml +++ b/examples2/rte/rte4.xml @@ -3,9 +3,9 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -15,12 +15,12 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </iteration> diff --git a/examples2/rte/rte5.xml b/examples2/rte/rte5.xml index 757ca807ebf98cf96a902aa0b054001553e6d60b..cf6fb6a3e32978ff128977ff144062f540bb25c9 100644 --- a/examples2/rte/rte5.xml +++ b/examples2/rte/rte5.xml @@ -3,9 +3,9 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -13,9 +13,9 @@ <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> diff --git a/examples2/rte/rte6.xml b/examples2/rte/rte6.xml index 8d57bcb76774bdacb4136d3263e4f1d9bed28f85..68abdf7d5e091c6bb2f43024eef470ba78dbde81 100644 --- a/examples2/rte/rte6.xml +++ b/examples2/rte/rte6.xml @@ -4,10 +4,10 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>y</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -23,12 +23,12 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>y</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </iteration> </iteration> diff --git a/examples2/rte/rte7.xml b/examples2/rte/rte7.xml index e583d85b9e287f021a94da96f6990c33619979d8..2b2e49c922164f52a0f56e9f896ce3239a7f0aec 100644 --- a/examples2/rte/rte7.xml +++ b/examples2/rte/rte7.xml @@ -5,9 +5,9 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -19,9 +19,9 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </iteration> @@ -31,9 +31,9 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </symbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </substitution> diff --git a/examples2/rte/rte8.xml b/examples2/rte/rte8.xml index 8f96bd3a359ea7f9f04ee77da5f895fca6c64d37..53ae456b582a2ac763cef833d588a6d613a7d136 100644 --- a/examples2/rte/rte8.xml +++ b/examples2/rte/rte8.xml @@ -7,9 +7,9 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>e</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -19,12 +19,12 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>4</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </iteration> diff --git a/examples2/rte/rte9.xml b/examples2/rte/rte9.xml index 40febdb02378b800e8068abf6ace5c8cc320d6c5..be199c2e302f8752a3c6324628fbabfef46150b7 100644 --- a/examples2/rte/rte9.xml +++ b/examples2/rte/rte9.xml @@ -3,9 +3,9 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -18,12 +18,12 @@ <alternation> <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> <symbol> @@ -38,9 +38,9 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </symbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </substitution>