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.

Yasuhiko Minamide

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.