prompt_grammar2.txt

Consider the following grammar between BEGINSRC and ENDSRC. BEGINSRC /******************************************************************************/
/*                                                                            */
/*                                   Menhir                                   */
/*                                                                            */
/*                       François Pottier, Inria Paris                        */
/*              Yann Régis-Gianas, PPS, Université Paris Diderot              */
/*          ENDSRC . Please rewrite it to be more beautiful. We are going to use the following TARGET: BEGINTARGET letter ::= [a-zA-Z]
digit ::= [0-9]
ws    ::= [ \t\n]*
symbol ::= "[" | "]" | "{" | "}" | "(" | ")" | "<" | ">"  | "'" |  "=" | "|" | "." | "," | ";" | "-"        | "+" | "*" | "?" 
character ::= letter | digit | symbol | "_" | " "
identifier ::= letter ( letter | digit | "_" )*
S ::= ( " " | "\n" | "\t" | "\r"  )
terminal ::= "'" character  "'"  ( character  "'" )  "'"
terminator ::= (";" | ".")
term ::= "("   S   rhs   S   ")"      | "["   S   rhs   S   "]"      | "{"   S   rhs   S   "}"       ENDTARGET as our target grammar format. Please rewrite SRC into TARGET.