[MenB]Generating symbols

Forum van 2de Bachelor Informatica.

Moderator: Praesidium

User avatar
Fristi
WOZ
Posts: 4565

[MenB]Generating symbols

Post#1 » Sun Jan 18, 2009 3:22 pm

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
Fristi Ad Infinitum

WINAK WOZ 2013 - ...
WINAK Magister Fristi 2012-2013
WINAK Feest 2011-2012
WINAK Schachtentemmer 2010-2011
WINAK Scriptor 2008-2009 | 2009-2010

User avatar
PieterK
Posts: 118

Post#2 » Sun Jan 18, 2009 5:25 pm

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 :oops: )

Return to “2de Bachelor”

Who is online

Users browsing this forum: No registered users and 6 guests

cron