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

Re: TLA+ and pluscal BNF grammars

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 


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



On Monday, October 17, 2016 at 1:18:23 AM UTC-7, Nasser Ali wrote:
Can anyone kindly help me to find TLA+ and PlusCal BNF grammars? I need it in my research.

thanks in advance