Formalni jezici i automati (I142)

Osnovni podaci o predmetu:

• Studijski program: Osnovne akademske studije INFORMATIKA, Modul Računarske nauke, (obavezan predmet na II godini studija)
• Semestar: letnji
• ESPB bodovi: 8
• Predavač: dr Rozália Sz. Madarász, redovni profesor PMF u Novom Sadu (predavanja i vežbe)
• Nedeljni fond časova: 3+3
• Način polaganja ispita: model A tj. predispitne obaveze (najmanje 30 od mogućih 60 poena) + usmeni (40 poena) 
• Predispitne obaveze:
  • redovno pohađanje nastave, aktivno učestvovanje u nastavnom procesu
  • dva kolokvijuma ( jedan u aprilu, za vreme ispitnog roka, a drugi u poslednjoj nedelji maja) na kojima se može osvojiti ukupno maksimalno 60 poena
  • Predispitne obaveze su ispunjene ako student pre usmenog sakupi najmanje 30 poena
  • svaki kolokvijum se sastoji od Testa A i Testa B
  • Nenormirani broj osvojenih poena na kolokvijumima je maksimalno 30 za Test A i 30 za Test B.
  • Na kraju semestra se sabiraju nenormirani poeni osvojeni na testovima, taj zbir se deli sa 2.
  • Test A : sastoji od 10x3=30 kratkih pitanja (tvrđenja), na koje student odgovara sa TAČNO ili NETAČNO. Za svako tačno odgovoreno pitanje dobija se 1 poen, a za netačno -0.5.
  • Test B: tri zadatka, za svaki zadatak se može osvojiti najviše 10 (nenormiranih) poena.
  • Popravni kolokvijumi se odžavaju u junskom i u oktobarskom ispitnom roku, u terminu koji je naznačen u rasporedu za (obične) ispite. Na popravnom kolokvijumu student može ponovo da radi jedan ili više testova. Pre popravnog kolokvijuma student prijavljuje koje testove želi da radi ponovo. Kad student prijavi neki test za popravni, poništavaju mu se prethodno osvojeni poeni za taj test. Vreme izrade popravnog kolokvijuma je ukupno 3 sata.
  • Posle ispunjenih predispitnih obaveza, studenti polažu usmeni deo ispita, u najviše 6 ispitnih rokova, zaključno sa januarskim ispitnim rokom naredne godine.
  • za aktivno učešće u nastavnom procesu student može dobiti najviše 10 (ekstra) poena, koji se dodaju posle usmenog dela ispita.
• Formiranje završne ocene
  • 10(deset):  95-100 poena
  • 9(devet): 85-94 poena
  • 8(osam): 75-84 poena
  • 7(sedam): 65-74 poena
  • 6(šest): 55-64 poena
  • 5(pet): manje od 55 poena
• Literatura: 
  • R. Madarasz, S. Crvenković, Uvod u teoriju automata i formalnih jezika, Univerzitet u Novom Sadu, 1995.
  • S. Crvenković, R. Madarasz, N. Mudrinski, Zbirka zadataka iz teorije automata, Univerzitet u Novom Sadu, 2005.

Obaveštenja

Za studente koji su kurs slušali u šk. god. 2010/2011

5. februar 2012. Rezultati ispita iz Formalnih jezika i automata održanog 30. januara 2012. Usmeni: 10. februara 2012. u 17.00 ili u petak, 17. februara 2012, u 17.00 časova.

26. januar 2012. Usmeni ispit u januarskom roku za studente koji imaju položen Test A i Test B biće oko 15. februara 2012. godine. Tačan termin će biti objavljen na ovom sajtu, oko 10. februara 2012.

3. oktobar 2011 Usmeni ispit iz Formalnih jezika i automata biće u četvrtak, 6. oktobra, u 17.00 časova.

28. septembar 2011. Rezultati ispita iz Formalnih jezika i automata održanog 26. septembra 2011. Usmeni: u četvrtak, 29. septembra 2011 u 17.00.

26. septembar 2011 Zbirni rezultati Formalni jezici i automati, zaključno sa 13. junom 2011. Rezultati sa ispita održanog 26. septembra - uskoro. Usmeni u oktobarskom roku: četvrtak, 29. 9. 2011. u 17.00.

13. jun 2011. Rezultati Testa A održanog u septembarskom roku. Usmeni: četvrtak, 15. septembar 2011, u 17.00.

22. jun 2011 Rezultati ispita održanog 20. juna 2011. Usmeni: petak, 24. jun, u 9.00.

14. jun 2011. Formular za prijavu popravnog kolokvijuma A1, A2, B1, B2. Prijavu poslati e-mailom na rozi@dmi.uns.ac.rs, najkasnije do 17. juna 2011.

6. jun 2011. Zbirni rezultati sa testova A1, A2, B1, B2. Na usmeni se pozivaju kandidati pod rednim brojem 1.-8. Usmeni će biti posle popravnog kolokvijuma, tj. posle 20. juna. 

5. jun 2011 Rezultati kolokvijuma Test A2 odrzanog 2. juna 2011, zajedno sa bodovima sa Testa A1 i  za prisustvo na predavanjima. Ako neko primeti neku gresku, neka se javi, ili u ponedeljak, 6. juna, za vreme konsultacija ili emailom. 

9. maj 2011. Rezultati popravnog kolokvijuma Test A1 održanog 7. maja 2011.

19.4.2011 Drugi kolokvijum će biti 2. juna, od 17.00-19.00. U tom terminu će (nezvanično) biti omogućeno da studenti eventualno rade i popravku prvog kolokvijuma Test A1, a u dogovoru sa asistentom možda i Test B1.

Popravni kolokvijum  (na kome se može popraviti bilo koji od testova A1, A2, B1 ili B2,  biće 20. juna, u 9.00. Pre popravnih kolokvijuma student prijavljuje nastavniku koje testove želi popraviti. Samom prijavom, stari rezultat se poništava. Drugi termin za popravni kolokvijum će biti 26. septembra, u 9.00.

10. 4.2011 Rezultati kolokvijuma održanog 8. aprila 2011. - Test A1

-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

ZA STUDENTE MASTER STUDIJA KOJI POLAŽU ULAZNI MODUL

28. septembar 2011. Rezultati ispita iz Formalnih jezika i automata održanog 26. septembra 2011. Usmeni: u četvrtak, 29. septembra 2011 u 17.00.

 13. jun 2011. Rezultati Testa A održanog u septembarskom roku. Usmeni: četvrtak, 15. septembar 2011, u 17.00.

9. maj 2011 - Rezultati ispita održanog 7. maja 2011 - Ulazni modul (Test A i Test B) . Usmeni: petak, 13. maj 2011, u 17.00.

19.4.2011. Studenti master studija će moći da polažu ulazni modul iz predmeta Formalni jezici i automati i u majskom apsolventskom roku, 7. maja, u 9.00. 

14. 4. 2011. Rezultati Testa A, Rezultati Testa B održanog 13. aprila 2011. Na usmeni se pozivaju studenti koji u zbiru Testa A i Testa B imaju najmanje 30 poena. Usmeni: petak, 15. april 2011, u 17.00.

1. 2. 2011. Rezultati ispita održanog 31.1.2011.

13.12.2010. Važna informacija studentima master studija: Danas je na Vecu DMI doneta odluka da se studentima master studija dozvoli polaganje ulaznog modula do juna 2011. godine. Takođe, omogućava se da odgovarajuće predmete slušaju tokom letnjeg semestra, i da ga polože preko kolokvijuma kao ostali studenti. Kolokvijume je moguće polagati iako se ne prisustvuje nastavi. Oni studenti koji ne žele da polažu kolokvijume, mogu polagati integralnu verziju ispita u januarskom, aprilskom ili junskom ispitnom roku.

13.12.2010. Rezultati ispita održanog 11.12.2010.

29.11.2010. - Pismeni ispit iz Formalnih jezika i automata (Test A i test B) za studente master studija koji polažu ulazni modul biće održan u subotu, 11. decembra 2010, u 9.00, u Amfiteatru I. 

22.10.2010. - Studenti master studija koji predmet Formalni jezici i automati treba da polože kao deo ulaznog modula, imaće posebno organizovan pismeni deo ispita u dva termina: u decembarskom apsolventskom roku i u januarskom ispitnom roku. Pismeni ispit će se sastojati od jednog Testa A odnosno jednog Testa B, i student izlazi na usmeni deo ispita ako je ostvario bar 50% od maksimalnog broja poena (u zbiru poena sa Testa A i Testa B).

9.11.2010. Pitanja za studente master studija koji treba da poloze u okviru ulaznog modula predmet Formalni jezici i automati

Primeri testova (za ulazni modul biće samo jedan Test A i jedan Test B, koji će sadržati celo gradivo).

Test A1

Test A2

Test A3

Test B

Literatura: 

• R. Madarasz, S. Crvenković, Uvod u teoriju automata i formalnih jezika, Univerzitet u Novom Sadu, 1995.
• S. Crvenković, R. Madarasz, N. Mudrinski, Zbirka zadataka iz teorije automata, Univerzitet u Novom Sadu, 2005.

Napomene:

• Test A će se sastojati od 10x3=30 kratkih pitanja (tvrđenja), na koje student odgovara sa TAČNO ili NETAČNO. Za svako tačno odgovoreno pitanje dobija se 1 poen, a za netačno -0.5.
• Test B: se sastoji iz tri (lakša) zadatka
• Usmeni:: student izlazi na usmeni deo ispita ako je ostvario bar 50% od maksimalnog broja poena (u zbiru poena sa Testa A i Testa B).
• Iz udžbenika čitati sekcije:
  Algebre jezika, Poluautomati (bez potpoluautomata), Konacan automat,
  Automati i regularni jezici, Osobine regularnih jezika, Automati sa
  izlazom, Formalni jezici i gramatike, Regularni jezici, Kontekstno
  slobodni jezici (bez Pushdown automata), Kontekstno osetljivi, rekurzivni i
  rekurzivno nabrojivi jezici (bez dokaza teorema 4.7, 4.10, 4.13, 4.14,
  4.15, samo znati formulaciju).
• Iz zbirke čitati sve