[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