Commit 609c412e authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Documented the fact that a start symbol cannot recognize the empty set

or the singleton set {epsilon}.
parent f453789d
New incremental API (in --table mode only), inspired by Frédéric Bour.
Menhir now reports an error if one of the start symbols produces
either the empty language or the singleton language {epsilon}.
Although some people out there actually define a start symbol that recognizes
{epsilon} (and use it as a way of initializing or re-initializing some global
state), this is considered bad style. Furthermore, by ruling out this case, we
are able to simplify the table back-end a little bit.
A speed improvement in the code back-end.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment