Trabalho de compiladores (tirando recursao de Wirth)

[gilsonfbf]

Pessoal tenho um trabalho de compiladores e uma das etapas e simplificar as expressões em wirth (EBNF). No caso to com duvida desta. teria como eliminar estas recursões que estão em negrito?

statement = { “if” “(“ expression “)” | “while” “(“ expression “)” } ( expression “;” | “;” ) | ( "{" ( { ( ( “float” | “int” | “string” | “void” | “bool” | “char” )( ( “Identifier” | “Identifier” “[“ “Integer-Number” “]” ) { “,” ( “Identifier” | “Identifier” “[“ “Integer-Number” “]” ) } ) | ( “float” | “int” | “string” | “void” | “bool” | “char” ) “[“ “]” ( ( “Identifier” | “Identifier” “[“ “Integer-Number” “]” ) { “,” ( “Identifier” | “Identifier” “[“ “Integer-Number” “]” ) } ) “;” ) } ) ( { statement } ) "}" ) | ( “if” “(“ expression “)” statement "else" statement ) | ( "return" “;” | "return" expression “;” ) | "break" “;”