CS-431: Proof of inconsistency of the example SCFG

Hello, The professor promised to show a proof of inconsistency of the SCFG example (S -> SS (p), S -> a (1-p)), but I could not find it anywhere... Could you provide that proof ? I am interested in seeing it because I tried to prove it but didn't succeed. Thanks !

Re: Proof of inconsistency of the example SCFG

by Jean-Cédric Chappelier - Wednesday, 24 November 2021, 13:36

Sure! Here it comes.
Notice that this is completely optional, out of the "official" lecture scope.

scfg-SS.pdf

Re: Proof of inconsistency of the example SCFG

by Antoine Brunner - Wednesday, 24 November 2021, 15:39

Thanks !