WINAK

Loha

Ik had een vraagje bij theorema 7.4, er staat nl. :
For one direction, it is in easy induction...

Ik zie het ni echt dus zou iemand kort ff kunne uitleggen welke redenering ge moet volgen?

Greets
Fristi

Ze willen gewoon zeggen dat het algoritme eerst alle terminals als generating zal vinden. (= Basisstap) Dan vindt het algoritme alle variabelen die een productie van de vorm A -> a met a een terminal. Dan worden alle variabelen gevonden die een productie van de vorm B -> AC zijn waarbij we A en C al als generating hebben gevonden. (Eigenlijk gewoon letterlijk het algoritme toepassen)
Ge zou het bovenstaande dus inductief kunnen bewijzen zoals ze zeggen in den HB.
(Zo interpreteer ik het toch dus don't shoot me if i'm wrong )