From: schmitz@i3s.unice.fr   
      
   Daniel Zingaro wrote:   
   > I've obtained a copy of Earley's thesis, where he describes his   
   > context-free parsing algorithm and proves it.  [...]   
   > I'm attempting a more formal proof of the algorithm and any input   
   > would be appreciated.   
      
   More formal as in Cousot and Cousot's   
   ?   
      
   For other approaches, see also Graham, Harrison and Ruzzo's   
   , or Klaas Sikkel's   
   _Parsing_Schemata_.   
      
   --   
   Regards,   
      
      Sylvain   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)