[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] PVS Grammar in BNF

Is there a plain Backus-Naur Form (not extended bnf) grammar for PVS?
I've tried converting the extended grammar to bnf and compiling the
grammar with a LALR parser and had many shift-reduce conflicts.

For example, when parsing a TheoryDecl, how can the parser differentiate
between a list of Ids (as in TypeDecl) and a list of IdOps (as in