TLA+ and pluscal BNF grammars

438 views

Skip to first unread message

Nasser Ali

unread,

Oct 17, 2016, 4:18:23 AM10/17/16

to tlaplus

Hi,
Can anyone kindly help me to find TLA+ and PlusCal BNF grammars? I need it in my research.

thanks in advance

Leslie Lamport

unread,

Oct 17, 2016, 4:34:06 AM10/17/16

to tlaplus

The grammar of TLA+ is too complex to be described in BNF. There is a link to a TLA+ specification of the TLA+ grammar on

http://research.microsoft.com/en-us/um/people/lamport/tla/tla2.html

A simplified version of an earlier specification of the original language appears in the book Specifying Systems. The BNF grammars of PlusCal, treating TLA+ expressions as atoms, are in the appendices of the PlusCal manuals, linked to on

http://research.microsoft.com/en-us/um/people/lamport/tla/pluscal.html

Leslie

Reply all

Reply to author

Forward

0 new messages