IS -> "::="
OR -> "|"
OB -> "("
CB -> ")"
OS -> "["
CS -> "]"
OC -> "{"
CC -> "}"
##
IDENT -> ([a-z]|[A-Z])([a-z]|([A-Z]|[0-9]))* 
STR -> \" ([a-z]|([A-Z]|[0-9]))* \"
NL -> \n
##
##
EOL -> \r
SPACE -> \s|\t
##
start -> {
global stack line;
line.clear;
global stack finsihed;
finsihed.clear;
global int next;
next:=0;
global stack tokens;
tokens.clear;
global stack lexemes;
lexemes.clear;
} syntax {
while (!(isempty (tokens))) do
begin
print pop(tokens);
print " -> ";
print pop(lexemes);
print <cr>;
end;
print "##";
print <cr>;
print "##";
print <cr>;
print "EOL -> \\n|\\r";
print <cr>;
print "SPACE -> \\s|\\t";
print <cr>;
print "##";
print <cr>;
print "##";
print <cr>;
while (!(isempty (finsihed))) do
begin
print pop(finsihed);
print <cr>;
end;
}
syntax -> rule <NL> {} syntax
syntax -> EMPTY
rule -> <IDENT>  {line.push((lexeme)+(" -> "));} <IS> {} expression 
expression -> term { finsihed.push(pop(line)); }
expression ->{local string temp; temp:=pop(line); line.push(temp);  line.push(temp); } term <OR> { finsihed.push(pop(line)); } expression
term -> factor term
term -> factor 
factor -> <IDENT> {line.push(pop(line) + " " + lexeme);}
factor ->  <STR> {line.push(pop(line) + " <" + toident(lexeme) + ">"); tokens.push(toident(lexeme)); lexemes.push(lexeme);}
factor -> <OB>   {line.push(pop(line) + " this" +string(next)); line.push(("this")+(string(next))+(" -> ")); next:=next+1;} expression  <CB> {}
factor -> <OS>   {finsihed.push("this"+string(next)+" -> EMPTY"); line.push(pop(line) + " this" +string(next)); line.push(("this")+(string(next))+(" -> ")); next:=next+1;}  expression  <CS> {}
factor -> <OC>   {
	finsihed.push("this"+string(next)+" -> this"+string(next+1)); 
	finsihed.push("this"+string(next)+" -> this"+string(next+1) + " this"+string(next) ); 
	line.push(pop(line) + " this" +string(next));
	line.push(("this")+(string(next+1))+(" -> "));
	next:=next+2;
}expression  <CC> {}