hello any one can help me to understand bnf grammar? what is the meaning of f::= f|-f|f=>f m[f1=>f2]=m[f1] v M[f2] Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/