diff --git a/examples/grammar/regular.xml b/examples/grammar/regular.xml index 18e5614bb0b362bfc0fc52998f67ea34cb19f715..85dc472997a7f3ad640f216ae646e5de077edac0 100644 --- a/examples/grammar/regular.xml +++ b/examples/grammar/regular.xml @@ -15,6 +15,7 @@ </leftSide> <rightSide> + <symbol>a</symbol> <symbol>A</symbol> </rightSide> </rule> diff --git a/examples/grammar/rrg.xml b/examples/grammar/rrg.xml new file mode 100644 index 0000000000000000000000000000000000000000..c01a7dd28df8830273ac4ff84076c5283c3b5a6f --- /dev/null +++ b/examples/grammar/rrg.xml @@ -0,0 +1,70 @@ +<grammar> + <nonTerminalSymbols> + <symbol>S</symbol> + <symbol>A</symbol> + <symbol>B</symbol> + </nonTerminalSymbols> + + <terminalSymbols> + <symbol>a</symbol> + <symbol>b</symbol> + </terminalSymbols> + + <rules> + <rule> + <leftSide> + <symbol>S</symbol> + </leftSide> + <rightSide> + <symbol>a</symbol> + <symbol>A</symbol> + </rightSide> + </rule> + <rule> + <leftSide> + <symbol>S</symbol> + </leftSide> + <rightSide> + <symbol>a</symbol> + <symbol>B</symbol> + </rightSide> + </rule> + <rule> + <leftSide> + <symbol>B</symbol> + </leftSide> + <rightSide> + <symbol>b</symbol> + <symbol>B</symbol> + </rightSide> + </rule> + <rule> + <leftSide> + <symbol>B</symbol> + </leftSide> + <rightSide> + <symbol>b</symbol> + </rightSide> + </rule> + <rule> + <leftSide> + <symbol>A</symbol> + </leftSide> + <rightSide> + <symbol>a</symbol> + <symbol>B</symbol> + </rightSide> + </rule> + <rule> + <leftSide> + <symbol>A</symbol> + </leftSide> + <rightSide> + <symbol>a</symbol> + </rightSide> + </rule> + </rules> + + <startSymbol>S</startSymbol> + +</grammar>