Teoretski dio treće zadaće [b]ne[/b] uključuje sljedeća gradiva urađena na predavanjima:
[list]While program
While to RAM
Parcijalno(primitivno) rekurzivne funkcije
Rekurzivno prebrojivi skupovi[/list:u]
Sva ostala gradiva, od KA (ne uključivo) pa na dalje ulaze u teoretski dio kolokvija.
[u][b]Teoretski dio III zadaće:[/b][/u]
1. Iskažite i dokažite lemu o pumpanju za kontekstno slobodne jezike.
2. Dokažite: KS=PDA.
3. Koje su osnovne postavke lambda računa? Čemu služi lambda račun? Koji je doseg lambda računa?
4. Dokažite: TM=PDA2.
[b]Napomena:[/b] Svi teoretski zadaci trebaju biti riješeni
Studenti koji [b]nisu[/b] bili na vježbama 15.05.2006 (ili bolje rečeno, studenti koji se nisu potpisali na papir da su nazočni na vježbama) moraju svoje originalne RAM strojeve realizirati u kontekstu paketa MaMa, te pri predaji zadaće priložiti printane ispise rada svojih programa. Moraju biti realizirana najmanje 2 RAM programa.
Studenti koji to ne naprave, gube pravo na izlazak na III kolokvij.
Studenti koji su bili na vježbama mogu, ali ne moraju verificirati svoje RAM kodove paketom MaMa, i nemaju ograničenja na broj RAM programa.
Obzirom da zadatci neoriginalnog kolokvija nisu strukturirani u obliku kolokvija dajem hint za optimalni kontekst originalnog kolokvija:
[list]2-4 gramatike npr pod a) b).....
1 TS
1 PDA
1 NDPDA
1 LOP za KS jezike
1-2 RAM[/list:u]
Teoretski dio treće zadaće ne uključuje sljedeća gradiva urađena na predavanjima:
While program
While to RAM
Parcijalno(primitivno) rekurzivne funkcije
Rekurzivno prebrojivi skupovi
Sva ostala gradiva, od KA (ne uključivo) pa na dalje ulaze u teoretski dio kolokvija.
Teoretski dio III zadaće:
1. Iskažite i dokažite lemu o pumpanju za kontekstno slobodne jezike.
2. Dokažite: KS=PDA.
3. Koje su osnovne postavke lambda računa? Čemu služi lambda račun? Koji je doseg lambda računa?
4. Dokažite: TM=PDA2.
Napomena: Svi teoretski zadaci trebaju biti riješeni
Studenti koji nisu bili na vježbama 15.05.2006 (ili bolje rečeno, studenti koji se nisu potpisali na papir da su nazočni na vježbama) moraju svoje originalne RAM strojeve realizirati u kontekstu paketa MaMa, te pri predaji zadaće priložiti printane ispise rada svojih programa. Moraju biti realizirana najmanje 2 RAM programa.
Studenti koji to ne naprave, gube pravo na izlazak na III kolokvij.
Studenti koji su bili na vježbama mogu, ali ne moraju verificirati svoje RAM kodove paketom MaMa, i nemaju ograničenja na broj RAM programa.
Obzirom da zadatci neoriginalnog kolokvija nisu strukturirani u obliku kolokvija dajem hint za optimalni kontekst originalnog kolokvija:
2-4 gramatike npr pod a) b).....
1 TS
1 PDA
1 NDPDA
1 LOP za KS jezike
1-2 RAM
_________________
Jelaska Igor
