Re: [isabelle] proofs about grammars?
> Are there any existing proofs about grammars in the libraries or proof
> archives? I would like to be able to prove that some parsing code accepts
> strings if and only if they are in some context free language specified by
> a context free grammar (or possibly even a regular language and a
> regular expression).
Recently, I verfied several decision procedures on context-free grammars.
You can find my proof scripts in the following URL.
The work will be presented in TPHOLs 2007 in the next week.
This archive was generated by a fusion of
Pipermail (Mailman edition) and