Teorija algoritama, jezika i automata
|
|
- ŌΓώγ Δουμπιώτης
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Teorija algoritama, jezika i automata Zoran Ognjanović zorano@mi.sanu.ac.yu MF Beograd, 2007/08 Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 1 / 229
2 Sadržaj 1 Tehnička pitanja 2 Uvod 3 Teorija algoritama Tjuringova mašina 4 Primitivno rekurzivne funkcije 5 Parcijalno rekurzivne funkcije 6 Tjuring-izračunljive i parc. rek. funkcije 7 Čerčova teza 8 Relativna izračunljivost 9 Odlučivi predikati 10 Parcijalno odlučivi predikati 11 Aritmetička hijerarhija 12 Teorija izračunljivosti i programski jezici Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 2 / 229
3 Tehnička pitanja Teorija algoritama, jezika i automata: predavanja: 2 časa x 2 semestra asistent Angelina Ilić-Stepić, vežbe: 2 časa x 2 semestra polaganje od juna godine pismeni ispit ili dva kolokvijuma usmeni ispit (seminarski, kolokvijumi, učešće na seminarima) Internet-stranica predmeta u pripremi (pomoć u izradi poželjna) zorano/taja/taja.html Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 3 / 229
4 Tehnička pitanja Udžbenik: Uvod u teorijsko računarstvo, Zoran Ognjanović, Nenad Krdžavac, FON, Beograd, pdf-verzija slobodno dostupna na Internet-stranici predmeta primedbe u vezi grešaka, nejasnoća su dobrodošle Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 4 / 229
5 Tehnička pitanja Pomoćna literatura: N. Cutland, Computability, an introduction to recursive function theory, Cambridge university press, J.Hopcroft, J.Ullman, Formal languages and their relation to automata, Addison-Wesley, H. Lewis, C. Papadimitriou, Elements of the theory of computation, Prentice-Hall, Ž. Mijajlović, Z. Marković, K. Došen, Hilbertovi problemi i logika, Zavod za udžbenike i nastavna sredstva, Beograd, C. Papadimitriou, Computational complexity, Addison-Wesley, Irena Spasić, Predrag Janičić, TAJA - Zbirka zadataka, Matematički fakultet, Beograd, Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 5 / 229
6 Uvod Teorijsko računarstvo je matematička disciplina koja se bavi modelima izračunavanja, veštačkom inteligencijom, formalnim jezicima koji se koriste u programiranju itd. Materija izložena u knjizi omogućava razumevanje specifičnih tema u računarstvu i uspostavljanje osnovnih matematičkih paradigmi. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 6 / 229
7 Uvod Oblasti teorijskog računarstva koje će biti obrad ivane: teorija algoritama teorija formalnih jezika i automata i složenost izračunavanja Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 7 / 229
8 Uvod Teorija algoritama 1 Teorijsko računarstvo svoje korene ima u teoriji algoritama (tj. izračunljivih funkcija) oblast nastala izmed u i godine, pre razvoja digitalnih računara rezultat pretresanja osnova matematike zbog paradoksa koji su se pojavili krajem XIX i početkom XX veka. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 8 / 229
9 Uvod Teorija algoritama 2 postavljalo se pitanje (Entscheidungsproblem, - problem odlučivanja) da li postoji opšti postupak utvrd ivanja istinitosti matematičkih iskaza vodi poreklo još od Gottfried-a Leibnitz-a ( ) koji je u XVII veku, nakon uspešne konstrukcije mehaničke računske mašine, razmišljao o konstrukciji mašine koja bi mogla manipulisati simbolima i na taj način odrediti istinitost iskaza problem je aktuelizovao David Hilbert ( ), u poznatom predavanju na Kongresu matematičara održanom 1900 nezavisno jedan od drugog, Čerč i Tjuring su negativno odgovorili na ovo pitanje (jednakosti λ-izraza, halting problem) Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 9 / 229
10 Uvod Teorija algoritama 3 odgovor - treba precizirati šta se podrazumeva pod postupkom mehaničkog izvod enja razvoj u okviru matematičke logike oblast su zasnovali: Alonzo Church ( ), Kurt Gödel ( ), Jacques Herbrand ( ), Stephen Kleene ( ), Emil Post ( ), Alan Turing ( ), Andrej Markov ( ) itd. direktan uticaj na teorijske i na praktične aspekte razvoja računarstva: principe programibilnog digitalnog računara opšte namene, koncept pisanja programa kao liste naredbi u formalnom jeziku, interpretiranje i prevod enje programa, razvoj programskih jezika uopšte itd. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 10 / 229
11 Uvod Teorija formalnih jezika i automata Osnivač - Noam Chomsky pitanja: opisivanje formalnih jezika i strukture odred enih klasa formalnih jezika (i odgovarajućih klasa automata) osnov za kreiranje i implementaciju programskih jezika, za algoritme prepoznavanja oblika, verifikacije itd. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 11 / 229
12 Uvod Teorija složenosti izračunavanja najmlad a grana teorijskog računarstva poreklo: iz analize funkcija u teoriji izračunljivih funkcija u kojoj se ispituje koliko su i zašto neki zadaci teški, tj. koliko je vremena i prostora potrebno da bi bili rešeni na ovo pitanje nije u potpunosti odgovoreno značajan rezultat: klasifikacije problema u odnosu na složenost koja pruža argumente da verujemo da su neki problemi jako teški za izračunavanje nudi orud e za ispitivanje da li je neka alternativna formulacija pogodnija za rešavanje ili postoji prihvatljiv postupak približnog rešavanja primene u kriptologiji (traga se za problemima koji su teški - za zaštitu podataka i računarskih resursa) Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 12 / 229
13 Uvod Teorijski rezultati inspirišu i usmeravaju rad u računarstvu dajući revolucionarno nove i unapred ene postojeće postupke Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 13 / 229
14 Uvod Pregled sadržaja 1 Teorija algoritama intuitivni pojam algoritma razlozi za formalizaciju Tjuringove mašine parcijalno izračunljive funkcije Čerčova teza odlučivost nedeterminizam kao koncept izračunavanja Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 14 / 229
15 Uvod Pregled sadržaja 2 Teorija formalnih jezika i automata formalne gramatike i jezici hijerarhija Čomskog klase automata i veze sa klasama u hijerarhiji Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 15 / 229
16 Uvod Pregled sadržaja 3 Složenost izračunavanja apstraktna teorija složenosti koja ne zavisi od vrste resursa koji se procenjuje definicije klasa složenosti opisi osnovnih klasa složenosti: L, NL, P, NP, PSPACE i EXP i njihovih karakterističnih problema problem odnosa klasa P i NP verovatnosne klase složenosti RP i BPP, sistemi interaktivnih dokaza i protokoli bez prenosa znanja, primene u kriptologiji pristup Kolmogorova Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 16 / 229
17 Teorija algoritama rešavanje problema razvojem algoritama i pisanjem programa je jedan od osnovnih zadataka u računarstvu matematičkim sredstvima proučavaju se i sami postupci rešavanja, algoritmi. formalni modeli izračunavanja koje ćemo razmatrati - Tjuringove mašine i parcijalno rekurzivne funkcije naizgled različiti, odred uju jednu te istu klasu algoritama što navodi na tezu da ti modeli izračunavanja upravo odred uju granice mogućnosti mehaničkog izračunavanja granice razdvajaju klase problema na one na za koje, u principu, postoji mogućnost programskog rešavanja i one za koje to nije slučaj Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 17 / 229
18 Teorija algoritama Intuitivni pojam algoritma 1 Intuitivni pojam algoritma postupak se opisuje konačnim nizom jednostavnih naredbi postoji idealna mašina (računar) koja izvršava te naredbe prema unapred utvrd enim pravilima, ta mašina započinje izračunavanje u nekom inicijalnom stanju; primenjena na ulazne podatke mašina izvršava naredbe u diskretnim koracima u kojima menja svoja stanja, izvršavanje svake naredbe se izvodi u konačnom vremenu pri čemu se koristi konačan memorijski prostor, izvršavanje naredbe je determinističko: iz jednog stanja izvršavanjem iste naredbe mašina uvek prelazi u isto stanje i prelaskom u završno stanje mašina prestaje sa izračunavanjem. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 18 / 229
19 Teorija algoritama Intuitivni pojam algoritma 2 determinisanost - mogućnost ponavljanja izvršavanja algoritama nedeterministički algoritmi ne zahteva se da se algoritam uvek završi, tj. da se rezultat uvek dobije u konačnom vremenu (finitnost), slično i sa zahtevom za ukupno memorijsko zauzeće algoritam predstavlja opis funkcije koja ulazne podatke preslikava u odgovor algoritamske (efektivne, izračunljive) funkcije Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 19 / 229
20 Teorija algoritama Za probleme za koje poznajemo postupke rešavanja lako utvrd ujemo da jesu algoritamski rešivi. Šta ako nismo u stanju da damo rešenje? Da li je to samo posledica naše nesposobnosti ili je reč o principijelnoj nemogućnosti? Potrebno je formalno precizirati pojmove algoritma. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 20 / 229
21 Teorija algoritama Nule diofantovskih jednačina 1 Problem postojanja efektivnog postupka za utvrd ivanje da li proizvoljna diofantovska jednačina p(x 1,..., x m ) = 0 ima nenegativna celobrojna rešenja p(x 1,..., x m ) je polinom sa celobrojnim koeficijentima i promenljivim x 1,..., x m x 4 1 x 3 3x nabrajanjem svih m-torki prirodnih brojeva i proverom da li predstavljaju nule polinoma bi se, pre ili posle, stiglo do rešenja jednačine, ako ono postoji neke jednačine ovog tipa (x 2 2 = 0), nemaju rešenja, prethodno opisani postupak se u takvim slučajevima ne bi nikada završio, zbog čega i ne predstavlja rešenje problema Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 21 / 229
22 Teorija algoritama Nule diofantovskih jednačina 2 provera postojanja rešenja diofantovskih jednačina je zapravo ekvivalentna formulacija desetog Hilbertovog problema svaki eventualni odgovor na ovo pitanje mora na neki način ponuditi i formalnu definiciju onoga što se podrazumeva pod efektivnim postupkom, bilo u smislu da ponud eno rešenje potpada pod tu definiciju, bilo da ne postoji rešenje sa zahtevanim svojstvima formalna definicija efektivnog postupka pojavila se razvojem teorije algoritama, Jurij Matijaševič je godine sredstvima razvijenim u okviru te teorije negativno (negativno) rešio sam problem Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 22 / 229
23 Teorija algoritama Formalni algoritamski sistemi 1 Sistem izračunljivosti predstavljen u formalnom sistemu aritmetike je predložio Gedel izmed u i godine, pri čemu se funkcija f smatra izračunljivom ako za svako m i n za koje je f (m) = n, u formalnom sistemu važi f (m) = n. Prikazivanje izračunljivih funkcija kao jedinstvenih rešenja sistema funkcionalnih jednačina je u istom periodu opisao takod e Gedel, a prema ideji Erbrana. λ-račun koji je razvio Čerč do godine je jednostavan formalni jezik za koji se definiše pojam redukcije koji predstavlja izračunavanje, a funkcija je izračunljiva ako se može opisati u jeziku. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 23 / 229
24 Teorija algoritama Formalni algoritamski sistemi 2 Sistemi zasnovani na automatima formalizuju pojam algoritma opisujući idealne modele računara (neki sistemi su dati pre nastanka digitalnih računara): Tjuringova mašina (1936.) Postova mašina (1936.) Neograničena registarska mašina (URM, Shepherdson i Sturgis 1963.) Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 24 / 229
25 Teorija algoritama Formalni algoritamski sistemi 3 Aritmetički opis zasnovao je Klini (generaliě induktivne definicije) Sistemi produkcija (sistemi sa prezapisivanjem, Rewriting systems): Postovi sistemi iz godine, Markovljevi algoritmi uvedeni godine i Gramatike Čomskog predložene godine, su jedna vrsta formalnih sistema u kojima se opisuju moguće transformacije jednih u druge reči na unapred fiskiranom alfabetu. Funkcije se opisuju kao skupovi parova reči (u, v) za koje postoji niz reči koje se dobijaju počev od u primenama pravila izvod enja i koji završava rečju v. while-programi su vrsta notacije proizašle iz ideja Goldstine-a (Goldštajna) i János-a (John) von Neumann-a ( ) o algoritamskim šemama (flowchart) kao formalizmu za prikazivanje izračunljivih funkcija. while-programi se sastoje samo od naredbi dodeljivanja, nizanja naredbi i while-naredbi. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 25 / 229
26 Teorija algoritama Formalni algoritamski sistemi 4 Izvori inspiracije ovih sistema se med usobno značajno razlikuju, ali se pokazuje da su sistemi med usobno ekvivalentni. Ovo, kao i neuspeh pokušaja konstrukcije zadatka i postupka njegovog rešavanja koji ne potpadaju pod ove klasifikacije daje za pravo verovanju da je postignut nekakav apsolutni koncept i da se svi algoritmi mogu izraziti u svakom od ovih sistema, što je formulisano Čerčovom tezom. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 26 / 229
27 Teorija algoritama Tjuringova mašina Digitalni računar se na apstraktnom nivou obično prikazuje kao celina sastavljena od procesora, memorije i ulazno-izlaznih ured aja. Procesor iz memorije pribavlja naredbe i podatke nad kojima se vrši obrada u skladu sa značenjem naredbi, a dobijeni rezultati se vraćaju u memoriju. Preko ulazno-izlaznih ured aja podaci koji će biti obrad eni se unose u memoriju, odnosno iz memorije se preuzimaju rezultati obrade i prikazuju na odgovarajući način. Komunikacija delova računara se obavlja preko magistrala. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 27 / 229
28 Teorija algoritama Tjuringova mašina Tjuringova mašina je preteča ovakvog modela računara, pri čemu su neka svojstva idealizovana: memorija - potencijalno beskonačna u svakom koraku izračunavanja Tjuringove mašine zauzet je samo konačan broj memorijskih registara, ne postoji ograničenje koliki je taj konačan broj registara svakom koraku izračunavanja moguće je i zahtevati novi, do tada neiskorišteni memorijski registar i svaki takav zahtev se ispunjava Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 28 / 229
29 Teorija algoritama Tjuringova mašina Tjuringova mašina je restrikcija koncepta savremenog računara u smislu operacija koje je u stanju da izvršava, a koje su elementarne. Operacije su dovoljne za opisivanje proizvoljnih algoritama. Prednost u odnosu na bogatije programske jezike je upravo u jednostavnosti koja olakšava analizu. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 29 / 229
30 Teorija algoritama Tjuringova mašina U teorijskom računarstvu se razmatraju i slabije klase mašina koje su restrikcije druge vrste u odnosu na aktuelne računare: neki modeli nemaju memoriju (konačni automati (Finite automata) memorija je organizovana na poseban način (stek kod potisnih automata (Push-down automata), ulazno-izlazni podaci su ograničeni na reči neki automati nemaju izlaz (konačni automati) itd. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 30 / 229
31 Teorija algoritama Tjuringova mašina Alfabet 1 svaki problem se izražava u nekom jeziku alfabet je skup znaka koji su nedeljive celine reč na nekom alfabetu je bilo koja konačna sekvenca znaka tog alfabeta sekvenca od nula znaka se naziva prazna reč reči se razdvajaju znakom blanko koji se ne smatra delom alfabeta već pomoćnim simbolom jezik je neki podskup skupa svih reči odgovarajućeg alfabeta t je podreč od q ako postoje, možda i prazne, reči u i v tako da je q = utv. obično je alfabet konačan skup znaka koristićemo unarni alfabet A = {1} blanko-znak (0) Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 31 / 229
32 Teorija algoritama Tjuringova mašina Neformalni opis Tjuringove mašine Tjuringova mašina se sastoji od: trake podeljene u ćelije, memorijske registre, koja se neograničeno pruža na levo i desno; broj ćelija (tj. dužina trake) je neograničen; sadržaj svake ćelije je ili znak 1 ili blanko znak (znak 0), glave koja se uvek nalazi nad tačno jednom ćelijom trake i može: pročitati sadržaj ćelije nad kojom se nalazi i upisati u ćeliju nad kojom se nalazi znak 1 ili 0 (blanko znak, tj. obrisati ćeliju) ili pomeriti se za jedan korak u levo ili u desno u odnosu na trenutnu poziciju, indikatora stanja mašine. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 32 / 229
33 Teorija algoritama Tjuringova mašina Neformalni opis Tjuringove mašine TM se u svakom trenutku nalazi u tačno jednom od konačno mnogo stanja koje se eventualno menja nakon svakog koraka izračunavanja. Skup svih stanja mašine označićemo sa S = {q 0, q 1,...}. Izvršavanje mašine se izvodi pod dejstvom programa - konačan niz naredbi. Svaka naredba je četvorka oblika: q i s o q j gde su q i i q j neka stanja iz skupa S, s je znak nad kojim se nalazi glava mašine, a o {1, 0, L, R} je oznaka operacije. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 33 / 229
34 Teorija algoritama Tjuringova mašina Neformalni opis Tjuringove mašine U svakom koraku rada mašina analizira stanje u kojem se nalazi i sadržaj ćelije nad kojom je glava, a zatim izvršava naredbu koja ima odgovarajuće vrednosti parametara q i i s. Efekat izvršenja naredbe q i s o q j : ako je o = 1, u ćeliju nad kojom se nalazi glava upisuje se znak 1, ako je o = 0, u ćeliju nad kojom se nalazi glava upisuje se 0, tj. blanko znak, ako je o = L, glava se pomera ulevo za jednu ćeliju i ako je o = R, glava se pomera udesno za jednu ćeliju. potom mašina menja stanje i prelazi u stanje q j. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 34 / 229
35 Teorija algoritama Tjuringova mašina Neformalni opis Tjuringove mašine Primeri determinističkih naredbi: q q 17, q q 2 i q 0 1 L q 0. Primeri nedeterminističkih naredbi (q i i s see poklapaju, a vrednosti parametara o i q j se razlikuju): q q 5 i q 4 1 L q 2 Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 35 / 229
36 Teorija algoritama Tjuringova mašina Neformalni opis Tjuringove mašine Konvencije: Stanje q 0 S - početno stanje Inicijalno, mašina se uvek nalazi u početnom stanju. Pri tome traka sadrži samo konačno mnogo ćelija u koje je upisan znak 1, dok sve ostale ćelije sadrže znak 0. Reč se na traci prikazuje kao neprekidan niz ćelija koje sadrže znak 1, a sa leve i desne strane tog niza se nalazi najmanje po jedan blanko znak (0). Po pravilu, na početku i na kraju izvršavanja glava mašine se nalazi iznad najlevlje ćelije koja sadrži znak 1. Skup stanja S proširićemo jednim novi stanjem q z koje ne pripada do sada razmatranom skupu stanja. q z - završno stanje; Kada se mašina nad e u stanju q z ona prekida sa izvršavanjem. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 36 / 229
37 Teorija algoritama Tjuringova mašina Neformalni opis Tjuringove mašine Definition Pod konfiguracijom Tjuringove mašine podrazumevamo opis koji sadrži: opis sadržaja trake, položaj glave i stanje mašine. Standardna konfiguracija je konfiguracija u kojoj je: ili traka prazna (tj. sve ćelije sadrže blanko znak) ili sadrži najviše konačno mnogo nepraznih reči razdvojenih po jednim blanko znakom, glava mašine je iznad prve (gledano sa leva) ćelije trake koja sadrži znak 1 i ako počinje sa izvršavanjem, mašina se nalazi u početnom stanju q 0, a ako završava sa radom u završnom stanju q z. Programi - funkcije koje preslikavaju skup konfiguracija mašine u samog sebe. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 37 / 229
38 Teorija algoritama Tjuringova mašina Neformalni opis Tjuringove mašine Na traci je jedna reč sastavljena od 1 (ostatak su 0) nad čijim krajnjim levim znakom se nalazi glava. Program dopisuje dva znaka 1 sa desne strane reči, glavu vraća na levo, na početak reči, pa staje: q 0 1 R q 0 glava se pomera udesno, na kraj reči q q 1 na mestu prve 0 upisuje se 1 q 1 1 R q 2 glava se pomera udesno q q 3 na mestu druge 0 upisuje se 1 q 3 1 L q 3 glava se pomera ulevo q 3 0 R q z do prve 0, ide udesno i zaustavlja se... 01q q q q q q q q q q z q Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 38 / 229
39 Teorija algoritama Tjuringova mašina Neformalni opis Tjuringove mašine U opisu Tjuringove mašine ne kaže se šta se dogad a ako za sadržaj ćelije nad kojim se nalazi glava i tekuće stanje mašine u programu ne postoji odgovarajuća naredba. Ovo odgovara zaglavljivanju programa pisanih na standardnim programskim jezicima i može se formalizovati kompletiranjem programa naredbama koje u takvim situacijama ne menjaju ni stanje, ni poziciju glave, ni sadržaj ćelije nad kojom se glava nalazi. Ako u programu ne postoji naredba koja odgovara situaciji kada je mašina u stanju q i, a sadržaj ćelije nad kojom se nalazi glava 0, možemo program proširiti naredbom koja predstavlja jednu beskonačnu petlju: q i 0 0 q i Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 39 / 229
40 Teorija algoritama Tjuringova mašina Tjuringove mašine i funkcije Tjuringove mašine se mogu iskoristiti kao algoritmi, tj. za izračunavanje funkcija koje preslikavaju prirodne brojeve u prirodne brojeve. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 40 / 229
41 Teorija algoritama Tjuringova mašina Tjuringove mašine i funkcije Definition Aritmetička funkcija je preslikavanje f za koje važi: domen preslikavanja, Dom(f ), je podskup skupa N k (k > 0) i kodomen preslikavanja, Im(f ), je podskup skupa N. Ako je za neki k > 0, Dom(f ) = N k, f je totalna funkcija. Ako je Dom(f ) N k, za neki k > 0 i Dom(f ) N k, f je parcijalna funkcija. Definition Unarna reprezentacija prirodnog broja n u unarnom alfabetu A = {1} je reč koja sadrži n + 1 znak 1. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 41 / 229
42 Teorija algoritama Tjuringova mašina Tjuringove mašine i funkcije Definition Neka je f aritmetička funkcija oblika f : X N, gde je X N. Funkcija f je Tjuring-izračunljiva ako postoji program P za Tjuringovu mašinu tako da je za svaki m X : pre početka izvršavanja programa P Tjuringova mašina u standardnoj konfiguraciji, pri čemu je jedina reč zapisana na traci unarna reprezentacija broja m i po završetku rada programa P Tjuringova mašina u standardnoj konfiguraciji, pri čemu je jedina reč zapisana na traci unarna reprezentacija broja f (m). Program P tada izračunava funkciju f. Analogno je moguće definisati k-arne aritmetičke Tjuring-izračunljive funkcije. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 42 / 229
43 Teorija algoritama Tjuringova mašina Tjuringove mašine i funkcije Tjuring-izračunljive funkcije su parcijalne, odnosno ako se neki m ne nalazi u domenu Tjuring-izračunljive funkcije f, odgovarajući program P ne staje. q q 0 q q 0 Program nikada ne staje, pa izračunava jedino funkciju čiji je domen prazan skup. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 43 / 229
44 Teorija algoritama Tjuringova mašina Tjuringove mašine i funkcije P(x 1, x 2,..., x k ) y označava da program P polazeći od standardne konfiguracije u kojoj traka sadrži unarne reprezentacije prirodnih brojeva x 1, x 2,..., x k završava rad pri čemu se mašina nalazi u standardnoj konfiguraciji u kojoj traka sadrži unarnu reprezentaciju prirodnog broja y. P(x 1, x 2,..., x k ) znači da je za neko y ispunjeno P(x 1, x 2,..., x k ) y. P(x 1, x 2,..., x k ) znači da nije P(x 1, x 2,..., x k ). Definition Program P konvergira za ulaz x 1, x 2,..., x k ako je ispunjeno P(x 1, x 2,..., x k ). Program P divergira za ulaz x 1, x 2,..., x k ako je ispunjeno P(x 1, x 2,..., x k ). Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 44 / 229
45 Teorija algoritama Tjuringova mašina Tjuringove mašine i funkcije Sledeći program izračunava funkciju f (x) = 0. q q 1 q q z q 1 0 R q 0 Sadržaj trake se briše, pri čemu se glava pomera na desno. Kada se naid e na prvi znak 0, upisuje se znak 1 i završava rad. Dakle, P(x) 0. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 45 / 229
46 Teorija algoritama Tjuringova mašina Tjuringove mašine i funkcije Sledeći program izračunava funkciju naslednika prirodnog broja u nizu prirodnih brojeva, f (x) = x. q 0 1 L q 0 q q z U programu se glava najpre pomera na levo, nakon čega se nalazi iznad ćelije koja sadrži znak 0. U tu ćeliju se upisuje znak 1 i prelazi u završno stanje. Dakle, P(x) x. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 46 / 229
47 Teorija algoritama Tjuringova mašina Tjuringove mašine i funkcije, f (x 1,..., x k ) = x i (1) Sledeći program za fiksirane k i i (k i 1) izračunava funkciju koja se naziva i-ta projekcija, f (x 1,..., x k ) = x i. q q 1 briše zapisa broja x 1 q 0 0 R q 2 q 1 0 R q 0... q j 1 0 q j+1 briše zapisa broja x i 1 q j 0 R q j+2 q j+1 0 R q j q j+2 1 R q j+2 prelazi zapis broja x i q j+2 0 R q j+3 q j q j+4 briše zapisa broja x i+1 q j+3 0 R q j+5 q j+4 0 R q j+3... Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 47 / 229
48 Teorija algoritama Tjuringova mašina Tjuringove mašine i funkcije, f (x 1,..., x k ) = x i (2)... q l 1 0 q l+1 q l 0 L q s q l+1 0 R q l q s 0 L q s q s 1 L q s+1 q s+1 1 L q s+1 q s+1 0 R q z briše zapisa broja x k vraća se na početak zapisa broja x i Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 48 / 229
49 Teorija algoritama Tjuringova mašina Tjuring-neizračunljive funkcije Kako je svaki program konačan niz naredbi, a svaka naredba konačan niz simbola iz nekog prebrojivog skupa, to postoji samo prebrojivo mnogo programa. Kako svih aritmetičkih funkcija ima neprebrojivo mnogo, to znači da postoje funkcije koje nisu Tjuring-izračunljive. Theorem Tjuring-izračunljivih funkcija ima prebrojivo mnogo. Postoje funkcije koje nisu Tjuring-izračunljive. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 49 / 229
50 Teorija algoritama Tjuringova mašina Formalni opis Tjuringove mašine Definition Tjuringova mašina je ured ena petorka S, q 0, q z, A, δ gde su: S konačan skup stanja, q 0 je početno stanje, q 0 S, q z je završno stanje, q z S, A = {1, 0} alfabet, program δ : (S \ {q z }) A (A {L, R}) S. Naredba Tjuringove mašine M = S, q 0, q z, A, δ je svaka četvorka q i, s, o, q j gde je δ(q i, s) = (o, q j ). Za δ ne postoje dve naredbe koje se poklapaju po za q i i s, a koje se razlikuju pu (o, q j ) - definicija determinističke mašine. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 50 / 229
51 Teorija algoritama Tjuringova mašina Formalni opis Tjuringove mašine Pretpostavke: ćelije trake su numerisane celim brojevima 0 označava ćelija nad kojom je glava pre početka izvršavanja programa levo od nje ćelije označavamo sa 1, 2, 3,... desno od nje ćelije označavamo 1, 2, 3,... Opis trake: preslikavanje F : Z A, F (z) = 1, ako je u ćeliji označenoj brojem z upisan znak 1 ako ćelija z sadrži blanko znak, F (z) = 0. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 51 / 229
52 Teorija algoritama Tjuringova mašina Formalni opis Tjuringove mašine Definition Konfiguracija Tjuringove mašine M = S, q 0, q z, A, δ je svaka trojka F, q, e gde su: F opis trake, q S tekuće stanje i e Z broj ćelije nad kojom se nalazi glava. Izvršavanje programa se odvija u koracima u kojima se menjaju konfiguracije. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 52 / 229
53 Teorija algoritama Tjuringova mašina Formalni opis Tjuringove mašine Definition Računski korak Tjuringove mašine M = S, q 0, q z, A, δ za naredbu I = q i, s, o, q j je svaki par konfiguracija ((F, q, e ), (F, q, e )) za koje je ispunjeno: q i = q, F (e ) = s, q j = q, ako je operacija o = 1, onda važi: e = e i F i F se poklapaju, sem što je F (e ) = 1, Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 53 / 229
54 Teorija algoritama Tjuringova mašina Formalni opis Tjuringove mašine ako je operacija o = 0, onda važi: e = e i F i F se poklapaju, sem što je F (e ) = 0, ako je operacija o = L, onda važi: e 1 = e i F i F se poklapaju, ako je operacija o = R, onda važi: e + 1 = e i F i F se poklapaju, (F, q, e ) I (F, q, e ) označava da je ((F, q, e ), (F, q, e )) računski korak za naredbu I. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 54 / 229
55 Teorija algoritama Tjuringova mašina Formalni opis Tjuringove mašine Definition Izračunavanje za Tjuringovu mašinu M = S, q 0, q z, A, δ i program P opisan funkcijom δ je niz konfiguracija (F 0, q 0, e 0 ), (F 1, q 1, e 1 ),..., (F m, q m, e m ) sa osobinom da važi: za (F 0, q 0, e 0 ) I1 (F 1, q 1, e 1 ), za neku naredbu I 1 programa P i stanje q 0 = q 0, za svaki prirodan broj k, 0 < k < m 1 je (F k 1, q k 1, e k 1 ) Ik (F k, q k, e k ), neku naredbu I k programa P, (F m 1, q m 1, e m 1 ) Im (F m, q m, e m ), za neku naredbu I m programa P i stanje q m = q z, za svaki k {0, m 1}, stanje q k q z, Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 55 / 229
56 Teorija algoritama Tjuringova mašina Formalni opis Tjuringove mašine e 0 = 0 i za svaki i < 0, F 0 (i) = 0, postoje n > 0 i k 1,..., k n takvi da je e 0 k 1 < k 2 <... < k n i za svaki i za koji je e 0 i k 1, F 0 (i) = 1, F 0 (k 1 + 1) = 0, za svaki i za koji je k < i k 2, F 0 (i) = 1, F 0 (k 2 + 1) = 0,..., za svaki i za koji je k n < i k n, F 0 (i) = 1 i za svaki i za koji je k n < i, F 0 (i) = 0, F m (e m ) = 1 i za svaki i < e m, F m (i) = 0 i postoji k e m tako da je za svaki i za koji je e m i k, F m (i) = 1 i za svaki j > k, F m (j) = 0. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 56 / 229
57 Teorija algoritama Tjuringova mašina Kombinovanje Tjuringovih mašina imamo program za f (x) = x + 1 želimo g(x) = x + 2 napisati novi program, uočiti da je g(x) = f (f (x)), tj. da se funkcija g dobija kompozicijom funkcije f sa samom sobom, te iskoristiti program za f Sa S(P) označimo skup stanja programa P. Dva programa P 1 i P 2 imaju disjunktne skupove stanja ako je S(P 1 ) S(P 2 ) = {q 0, q z }. Posmatrajmo sada dve kopije programa za f sa tako imenovanim stanjima da imaju disjunktne skupove stanja. Neka je q 1 takvo stanje da se ne nalazi ni u S(P 1 ) ni u S(P 2 ). Zatim zamenimo sve pojave završnog stanja u prvoj kopiji programa i sve pojave početnog stanja u drugoj kopiji programa stanjem q 1 i nadovežimo drugu kopiju programa na prvu. Ovako dobijeni program je kompozicija dva razmatrana programa. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 57 / 229
58 Teorija algoritama Tjuringova mašina Kombinovanje Tjuringovih mašina - grananje u programima Slabimo zahtev iz definicija: u standardnoj konfiguraciji glava mašine ne mora da se pozicionira nad kranjom levom ćelijom trake koja sadrži znak 1 ni na početku, ni na kraju izvršavanja mašine. Neka su P, Q i R takvi programi sa disjunktnim skupovima stanja. Završno stanje programa P sa qz P, a početna stanja programa Q i R sa q Q 0 i q0 R. P naredbe programa P qz P 0 0 q Q 0 prelazi se na program Q qz P 1 1 q0 R prelazi se na program R Q naredbe programa Q R naredbe programa R Nakon izvršavanja programa P, ako se glava nalazi nad ćelijom koja sadrži znak 0, nastavlja se sa izvršavanjem programa Q, a ako je sadržaj ćelije znak 1, nastavlja se sa izvršavanjem programa R. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 58 / 229
59 Teorija algoritama Tjuringova mašina Kombinovanje Tjuringovih mašina Sledeći jednostavni programi za Tjuringovu mašinu mogu poslužiti kao osnovne gradivne jedinice složenijih programa koji se dobijaju kompozicijom i grananjem: program koji u tekuću ćeliju upisuje znak 1 i potom staje, program koji u tekuću ćeliju upisuje znak 0 i potom staje, program koji pomera glavu za jedno mesto u levo i potom staje i program koji pomera glavu za jedno mesto u desno i potom staje. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 59 / 229
60 Teorija algoritama Tjuringova mašina Varijante Tjuringove mašine alfabet kojim se zapisuje sadržaj ćelija trake ne mora biti unarni, pored završnog stanja q z uvode se i neka specijalna završna stanja, recimo q da i q ne koja, intuitivno, znače pozitivan, odnosno, negativan odgovor na postavljeni problem, dozvoljena je traka koja je beskonačna samo na jednu stranu, tj. postoji krajnja leva ćelija, dok se na desno traka pruža neograničeno, umesto samo jedne postoji više traka, a za svaku traku postoji posebna glava, nad jednom trakom postoji više glava umesto samo jedne, traka je dvodimenzionalna, a ne jednodimenzionalna, tj. traka podseća na beskonačnu šahovsku ploču, u jednoj naredbi mašine moguće je i upisati znak u ćeliju i pomerati glavu, ne važi zahtev za determinisanošću itd. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 60 / 229
61 Teorija algoritama Tjuringova mašina Varijante Tjuringove mašine Uglavnom, u smislu izračunljivosti gotovo sve od ovih varijanti Tjuringove mašine odgovaraju istoj klasi funkcija, tj. klasi Tjuring-izračunljivih funkcija, kao i osnovna verzija mašine. Izuzetak predstavljaju neki slabiji, restriktivni slučajevi: recimo, mašina čija traka je ograničena sa jedne strane i koristi unarni alfabet ili mašina koja ima samo dva stanja i koristi alfabet od dva znaka. Ekvivalencija varijanti Tjuringove mašine se dokazuje tako što se pokaže da za svaki program P za neku od varijanti Tjuringove mašine postoje programi za preostale varijante koji simuliraju izvršenje programa P i izračunavaju istu funkciju. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 61 / 229
62 Teorija algoritama Tjuringova mašina Tjuringova mašina sa bogatijim alfabetom reči bilo kog prebrojivog alfabeta se mogu prikazati pomoću unarnog alfabeta u većini slučajeva (mašine sa trakom koja nije ograničena ni sa jedne strane) alfabet može, zavisno od potrebe, slobodno odred ivati binarna, a ne kao do sada u unarnoj, reprezentacija prirodnih brojeva - ušteda (unarna reprezentacija prirodnih brojeva je eksponencijalno duža od binarne). Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 62 / 229
63 Teorija algoritama Tjuringova mašina Tjuringova mašina sa trakom koja ima početak sa leve strane Alfabet sadrži još jedan specijalni znak, služi da se prepozna početna ćelija sa leve strane preko se nikada ne prepisuje ni jedan drugi simbol, niti se glava sme pomeriti levo kada je u ćeliji ispod glave dozvoljene su jedino narede oblika q i R q j Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 63 / 229
64 Teorija algoritama Tjuringova mašina Tjuringova mašina sa trakom koja ima početak sa leve strane sve funkcije koje se izračunavaju pomoću Tjuringove mašine čija traka ima najlevlju ćeliju mogu izračunati i pomoću standardne varijante mašine ne koristi se deo trake koji se nalazi sa leve strane ćelije iznad koje je pozicionirana glava pre početka izvršavanja Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 64 / 229
65 Teorija algoritama Tjuringova mašina Tjuringova mašina sa trakom koja ima početak sa leve strane TM M 1 (na traci neograničenoj u oba smera) izračunava neku funkciju f Konstruišimo M 2 čija traka je ograničena sa leve strane i koja radi isto što i M 1 označimo ćelije trake mašine M 1 celim brojevima traku presavijemo tako da formira dva reda, kao na slici dodajemo još jednu posebnu ćeliju koja predstavlja levi kraj tako dobijene trake. { Figure: Jednostrana traka Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 65 / 229
66 Teorija algoritama Tjuringova mašina Tjuringova mašina sa trakom koja ima početak sa leve strane Alfabet A 2 = {(0, 0), (1, 0), (0, 1), (1, 1), } za M 2 se nalazi samo u najlevljoj ćeliji Parovi znakova opisuju sadržaj odgovarajućih parova ćelija trake mašine M 1 (prva koordinata za gornju, druga za donju ćeliju) Stanja za M 2 : za svako stanje q mašine M 1 postojaće stanja q, 1 i q, 2 - M 2 u stanju q radi nad ćelijama iz gornjeg reda i M 2 u stanju q radi nad ćelijama iz donjeg reda q z, 1 i q z, 2 će - završna stanja. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 66 / 229
67 Teorija algoritama Tjuringova mašina Tjuringova mašina sa trakom koja ima početak sa leve strane Naredbi q i s o q j za M 1 odgovaraju 2 naredbe (x {0, 1}): za desnu stranu trake M 1 - q i, 1 (s, x) o q j, 1, gde je L za o = L R za o = R o = (1, x) za o = 1 (0, x) za o = 0 za levu stranu trake M 1 - q i, 2 (x, s) o q j, 2, gde je L za o = R R za o = L o = (x, 1) za o = 1 (x, 0) za o = 0 Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 67 / 229
68 Teorija algoritama Tjuringova mašina Tjuringova mašina sa trakom koja ima početak sa leve strane Za svako stanje q mašine M 1 dodaju se naredbe: q, 1 R q, 2 i q, 2 R q, 1 koje se izvršavaju kada se glava mašine M 2 nad e nad krajnjom levom ćelijom u koju je upisan posebni simbol. Na ovu ćeliju se može doći pri pomeranju ulevo glave koja obrad uje gornji red trake mašine M 2, nakon čega treba nastaviti kretanje obrad ujući donji red trake (tada se kretanje u levo kod mašine M 1 prikazuje kao kretanje u desno mašine M 2 ). Prelazak sa obrad ivanja gornjeg na obrad ivanje donjeg reda je opisan promenom druge kordinate u stanju mašine. Slično se dešava i kada se obrad ujući donji red trake glava pomera ulevo, što bi odgovaralo pomeranju udesno glave mašine M 1. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 68 / 229
69 Teorija algoritama Tjuringova mašina Tjuringova mašina sa trakom koja ima početak sa leve strane Pretpostavimo da mašina M 1 za neki ulaz x izračunava rezultat y. Tada, opis mašine M 2 garantuje analogno ponašanje, pri čemu će sadržaj ćelija 0, 1, 2,... mašine M 1 biti predstavljen prvim koordinatama znaka u ćelijama trake mašine M 2 koje se nalaze neposredno do ćelije trake koja sadrži znak. Modeli su ekvivalentni. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 69 / 229
70 Teorija algoritama Tjuringova mašina Tjuringova mašina sa više traka Za neki k > 0 Tjuringova mašina sa k traka sastoji se od traka označenih sa 1, 2, 3,..., k Sve trake imaju kraj sa leve strane, što nije ograničenje Nad svakom trakom nalazi se posebna glava U svakom koraku čita se tekuća ćelija na svakoj od traka i preduzima odgovarajuća akcija q i s 1... s k o 1... o k q j Na početku rada ulazni podaci su na prvoj traci, ostale trake su prazne Ako izvršavanje mašine shvatimo kao izračunavanje neke funkcije, rezultat se smešta u k-tu traku. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 70 / 229
71 Teorija algoritama Tjuringova mašina Tjuringova mašina sa više traka Example Da li je neka reč palindrom (čitanjem sa leva na desno i sa desna na levo se dobija isti niz znaka)? reč iz prve trake se iskopira na drugu traku glava prve trake se vrati na levo glava druge ostaje u krajnjoj desnoj poziciji dve glave se kreću u suprotnim smerovima i ispituju da li se nalaze nad jednakim znacima. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 71 / 229
72 Teorija algoritama Tjuringova mašina Tjuringova mašina sa više traka Neka je M 1 Tjuringova mašina sa k traka koja izračunava neku funkciju f. Konstruisaćemo mašinu M 2 sa jednom trakom koja će simulirati izvršavanje mašine M 1. Sadržaji k traka mašine M 1 biće redom smešteni u jedinoj traci mašine M 2. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 72 / 229
73 Teorija algoritama Tjuringova mašina Tjuringova mašina sa više traka Novi znaci alfabeta za M 2 : - početak trake sa leve strane, glava se ne sme kretati levo od njega, - početak svake od k traka za M 1 i preko njega glava M 2 smeti da prelazi na levo, - desni kraja trenutnog zauzeća svake od predstavljenih traka, dva uzastopna znaka - kraj sadržaja svih k traka od M 1 zapisanih na jedinoj traci mašine M 2, - privremena varijanta znaka u simulaciji nekih koraka rada M 1 i 1, 0 - glava se nalazi upravo iznad znaka 1, odnosno 0 u toj ćeliji. Polazni sadržaj M 2 bi izgledao kao: w... }{{} k 1 w - ulazni podaci za M 1 i prvi znak iz w je podvučena verzija znaka jer se nad njim nalazi glava. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 73 / 229
74 Teorija algoritama Tjuringova mašina Tjuringova mašina sa više traka M 2 simulira rad M 1 : za svaki korak rada M 2 dva puta prelazi sadržaj trake sa leva na desno i nazad u prvom prolazu prikuplja informacije o k znaka koji se trenutno nalaze ispod glava mašine M 1 - to su podvučeni znaci na traci za M 2 za pamćenje - nova stanja koja odgovaraju kombinacijama stanja mašine M 1 i k-torki simbola koja se trenutno čita q(o 1,..., o k ) na osnovu tog stanja M 2 u drugom prelasku izvršava akciju koja simulira korak rada M 1 M 2 prelazi preko trake i eventualno menja sadržaj ćelija u koje su upisani podvučeni znaci promena - prepisivanje tekućeg podvučenog znaka novim podvučenim znakom (ako je operacija pisanje) ili zamena povučenog znaka nepodvučenom i promena jednog od susednih znaka u podvučenu verziju (ako je akcija pomeranje glave) Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 74 / 229
75 Teorija algoritama Tjuringova mašina Tjuringova mašina sa više traka problem: trenutna pozicija je upravo desni kraj zapisa neke od traka mašine M 1, a glava treba da se pomakne na desno to znači da se u ćeliji iznad koje je glava nalazi znak. ovde desno od znaka nema slobodnog prostora jer se tu nalaze zapisi sadržaja ostalih traka mašine M 1 se prepisuje sa pomere se svi znaci počev od njega za po jedno mesto u desno glava se vraća na levo do prvobitne pozicije znaka i prepisuje ga blanko znakom zbog kopiranja sadržaja u prvoj desnoj ćeliji je još jedan znak koji se prepisuje znakom Simulacija se nastavlja dok se mašina M 2 ne zaustavi, nakon čega briše sve sem zapisa k-te traku koja predstavlja rezultat. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 75 / 229
76 Teorija algoritama Tjuringova mašina Tjuringova mašina sa više traka x - dužina ulaznih podataka za M 1 broj koraka rada M 1 za ulaz x je najviše f ( x ) ni na jednoj od k traka M 1 ne može biti zauzeto više od f ( x ) ćelija svakom koraku rada M 1 odgovara najviše c 1 kf ( x ) koraka rada M 2 potrebnih za dvostruki prelazak trake i c 2 kf ( x ) koraka rada mašine M 2 potrebnih za eventualno pomeranje sadržaja u desno M 2 na početku rada postavlja polazni sadržaj trake i dopisuje i, a na kraju briše deo trake zauzet prikazom prve k 1 trake M 1, za šta joj je potrebno c 3 f ( x ) koraka dužina rada M 2 je ograničena odozgo sa c 4 (f ( x )) 2 simulacija radi samo polinomijalno duže od M 1 Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 76 / 229
77 Teorija algoritama Tjuringova mašina Nedeterministička Tjuringova mašina program nedeterminističke Tjuringove mašine δ : (S \ {q z }) A P((A {L, R}) S), δ(q, s) je proizvoljan konačan podskup skupa ((A {L, R}) S) za tekuću konfiguraciju mašine može postojati više različitih konfiguracija do kojih se dolazi izvršavanjem neke od naredbi programa - mogućnost izbora grananje u drvetu je konačno - konačno mnogo opcija za izbor svaka grana - jedan mogući redosled rada q, s o 1, q 1 o 2, q 2 o 3, q 3... o k, q k Figure: Nedeterministički korak u izvršavanju Tjuringove mašine Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 77 / 229
78 Teorija algoritama Tjuringova mašina Nedeterministička Tjuringova mašina nedeterminističke mašine su pogodne za davanje odgovora da ili ne na pitanja oblika da li za ulazne podatke važi...? nova završna stanja: q da i q ne brzina nedeterminističkih je posledica asimetrične konvencije: odgovor da - bar jedno od mogućih izračunavanja završava u stanju q da, odgovor ne - sva izračunavanja završavaju u stanju q ne ako ni jedno izračunavanje ne dovodi do stanja q da i bar jedno izračunavanje ne dovodi ni do kog završnog stanja, nedeterministička mašina divergira. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 78 / 229
79 Teorija algoritama Tjuringova mašina Nedeterministička Tjuringova mašina Model nedeterminističke mašine: višeprocesorski sistem u svakom koraku svaki od procesora kreira onoliko novih procesora koliko ima različitih konfiguracija u koje taj procesor može preći izvršavanjem tekuće naredbe ako mu bilo koji od potomaka vrati potvrdni odgovor, procesor tu informaciju šalje neposrednom pretku negativan odgovor se prosled uje samo ako je dobijen od svih neposrednih potomaka svaki procesor izračunava disjunkciju odgovora svojih potomaka Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 79 / 229
80 Teorija algoritama Tjuringova mašina Nedeterministička Tjuringova mašina Example Pretpostavimo da želimo ispitati da li je neki prirodan broj n složen ili prost. Običnom Tjuringovom mašinom problem bi se mogao rešiti na sledeći način: delili bismo broj svim prirodnim brojevima izmed u 2 i n 2 i na osnovu toga dali odgovor. U slučaju nedeterminističke Tjuringove mašine na jednom mestu bismo imali mogućnost izbora broja kojim delimo broj n, pa ako je n složen, a izabrani broj delilac, mogli bismo dati odgovor u jednom koraku, što bi bio značajan dobitak u odnosu na deterministički postupak. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 80 / 229
81 Teorija algoritama Tjuringova mašina Nedeterministička Tjuringova mašina Lako je uočiti da ovaj postupak nije realan, u smislu da izbor delioca podrazumeva da mi već znamo da je n složen, tj. da nam je poznat bar jedan njegov činilac. Med utim, i pored toga, nedeterministička Tjuringova mašina se može simulirati determinističkom mašinom, tako da se izražajnost u smislu onoga šta mašina može odgovoriti ne menja. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 81 / 229
82 Teorija algoritama Tjuringova mašina Nedeterministička Tjuringova mašina M 1 nedeterministička TM, M 2 deterministička TM: M 2 sistematski prelazi sve moguće redoslede izvršavanja M 1 najpre dužine 1, pa dužine 2 itd ni jedno moguće konačno izvršavanje neće biti preskočeno ako bi se M 1 u nekom trenutku našla u stanju q da, to isto će pre ili posle biti slučaj i sa M 2 ako sva izvršavanja M 1 dovode do stanja q ne, i M 2 će se naći u tom stanju kada iscrpi sve mogućnosti ako M 1 divergira za date ulazne podatke ni M 2 se neće zaustaviti. Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 82 / 229
83 Teorija algoritama Tjuringova mašina Nedeterministička Tjuringova mašina M 2 u najgorem slučaju bar jednom posećuje svaki čvor drveta koje prikazuje izvršavanje M 1 čvorova drveta za M 1 može biti eksponencijalno više nego što je dužina najkraćeg mogućeg izračunavanja mašine M 1 koje dovodi do stanja q da izvršavanje determinističke mašine M 2 u najgorem slučaju eksponencijalno duže nego izvršavanje nedeterminističke mašine M 1 za sada nije poznato da li je simulaciju moguće izvesti uz samo polinomijalni gubitak vremena problem da li je P = NP Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 83 / 229
84 Teorija algoritama Tjuringova mašina Univerzalna Tjuringova mašina UTM UTM primer programibilnog digitalnog računara opšte namene sa programom i podacima smeštenim u memoriju simulira izvršavanje ostalih Tjuringovih mašina Ulazni podaci za UTM su opis - program neke posebne mašine i ulazni podaci te mašine, rezultat izvršavanja UTM je rezultat rada simulirane posebne mašine Postojanje univerzalne Tjuringove (preko veze sa univerzalnom funkcijom) Zoran Ognjanović (zorano@mi.sanu.ac.yu) Teorija algoritama, jezika i automata MF Beograd, 2007/08 84 / 229
3.1 Granična vrednost funkcije u tački
3 Granična vrednost i neprekidnost funkcija 2 3 Granična vrednost i neprekidnost funkcija 3. Granična vrednost funkcije u tački Neka je funkcija f(x) definisana u tačkama x za koje je 0 < x x 0 < r, ili
Iskazna logika 3. Matematička logika u računarstvu. novembar 2012
Iskazna logika 3 Matematička logika u računarstvu Department of Mathematics and Informatics, Faculty of Science,, Serbia novembar 2012 Deduktivni sistemi 1 Definicija Deduktivni sistem (ili formalna teorija)
Teorija izračunljivosti
Teorija izračunljivosti Zoran Ognjanović zorano@mi.sanu.ac.rs MF Beograd, 2012/13 Zoran Ognjanović (zorano@mi.sanu.ac.rs) Teorija izračunljivosti MF Beograd, 2012/13 1 / 210 Sadržaj 1 Tehnička pitanja
Teorija složenosti izračunavanja Teorija algoritama o o Odlučivi problemi Neodlučivi problemi Posmatrajući Čerčovu tezu, dolazimo do zaključka ka da p
SEMINARSKI RAD Predmet: Teorija Izračunljivosti Profesor: Zoran Ognjanović Student: Stefan Banović 177/06 Teorija složenosti izračunavanja Teorija algoritama o o Odlučivi problemi Neodlučivi problemi Posmatrajući
Teorijske osnove informatike 1
Teorijske osnove informatike 1 9. oktobar 2014. () Teorijske osnove informatike 1 9. oktobar 2014. 1 / 17 Funkcije Veze me du skupovima uspostavljamo skupovima koje nazivamo funkcijama. Neformalno, funkcija
Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju
RAČUN OSTATAKA 1 1 Prsten celih brojeva Z := N + {} N + = {, 3, 2, 1,, 1, 2, 3,...} Osnovni primer. (Z, +,,,, 1) je komutativan prsten sa jedinicom: sabiranje (S1) asocijativnost x + (y + z) = (x + y)
UNIVERZITET U NIŠU ELEKTRONSKI FAKULTET SIGNALI I SISTEMI. Zbirka zadataka
UNIVERZITET U NIŠU ELEKTRONSKI FAKULTET Goran Stančić SIGNALI I SISTEMI Zbirka zadataka NIŠ, 014. Sadržaj 1 Konvolucija Literatura 11 Indeks pojmova 11 3 4 Sadržaj 1 Konvolucija Zadatak 1. Odrediti konvoluciju
DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović
DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović Novi Sad April 17, 2018 1 / 22 Teorija grafova April 17, 2018 2 / 22 Definicija Graf je ure dena trojka G = (V, G, ψ), gde je (i) V konačan skup čvorova,
Elementi spektralne teorije matrica
Elementi spektralne teorije matrica Neka je X konačno dimenzionalan vektorski prostor nad poljem K i neka je A : X X linearni operator. Definicija. Skalar λ K i nenula vektor u X se nazivaju sopstvena
SISTEMI NELINEARNIH JEDNAČINA
SISTEMI NELINEARNIH JEDNAČINA April, 2013 Razni zapisi sistema Skalarni oblik: Vektorski oblik: F = f 1 f n f 1 (x 1,, x n ) = 0 f n (x 1,, x n ) = 0, x = (1) F(x) = 0, (2) x 1 0, 0 = x n 0 Definicije
Operacije s matricama
Linearna algebra I Operacije s matricama Korolar 3.1.5. Množenje matrica u vektorskom prostoru M n (F) ima sljedeća svojstva: (1) A(B + C) = AB + AC, A, B, C M n (F); (2) (A + B)C = AC + BC, A, B, C M
ELEKTROTEHNIČKI ODJEL
MATEMATIKA. Neka je S skup svih živućih državljana Republike Hrvatske..04., a f preslikavanje koje svakom elementu skupa S pridružuje njegov horoskopski znak (bez podznaka). a) Pokažite da je f funkcija,
41. Jednačine koje se svode na kvadratne
. Jednačine koje se svode na kvadrane Simerične recipročne) jednačine Jednačine oblika a n b n c n... c b a nazivamo simerične jednačine, zbog simeričnosi koeficijenaa koeficijeni uz jednaki). k i n k
PRAVA. Prava je u prostoru određena jednom svojom tačkom i vektorom paralelnim sa tom pravom ( vektor paralelnosti).
PRAVA Prava je kao i ravan osnovni geometrijski ojam i ne definiše se. Prava je u rostoru određena jednom svojom tačkom i vektorom aralelnim sa tom ravom ( vektor aralelnosti). M ( x, y, z ) 3 Posmatrajmo
Ispitivanje toka i skiciranje grafika funkcija
Ispitivanje toka i skiciranje grafika funkcija Za skiciranje grafika funkcije potrebno je ispitati svako od sledećih svojstava: Oblast definisanosti: D f = { R f R}. Parnost, neparnost, periodičnost. 3
IZVODI ZADACI ( IV deo) Rešenje: Najpre ćemo logaritmovati ovu jednakost sa ln ( to beše prirodni logaritam za osnovu e) a zatim ćemo
IZVODI ZADACI ( IV deo) LOGARITAMSKI IZVOD Logariamskim izvodom funkcije f(), gde je >0 i, nazivamo izvod logarima e funkcije, o jes: (ln ) f ( ) f ( ) Primer. Nadji izvod funkcije Najpre ćemo logarimovai
IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f
IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f 2. Nule i znak funkcije; presek sa y-osom IspitivaƬe
Uvod u teorijsko računarstvo
Uvod u teorijsko računarstvo Zoran Ognjanović Nenad Krdžavac Beograd Kragujevac, 2004. Sadržaj 1 Uvod 1 1.1 Za dalje proučavanje........................... 5 2 Izračunljivost. Odlučivost 7 2.1 Intuitivni
Strukture podataka i algoritmi 1. kolokvij 16. studenog Zadatak 1
Strukture podataka i algoritmi 1. kolokvij Na kolokviju je dozvoljeno koristiti samo pribor za pisanje i službeni šalabahter. Predajete samo papire koje ste dobili. Rezultati i uvid u kolokvije: ponedjeljak,
Osnovne teoreme diferencijalnog računa
Osnovne teoreme diferencijalnog računa Teorema Rolova) Neka je funkcija f definisana na [a, b], pri čemu važi f je neprekidna na [a, b], f je diferencijabilna na a, b) i fa) fb). Tada postoji ξ a, b) tako
Računarska grafika. Rasterizacija linije
Računarska grafika Osnovni inkrementalni algoritam Drugi naziv u literaturi digitalni diferencijalni analizator (DDA) Pretpostavke (privremena ograničenja koja se mogu otkloniti jednostavnim uopštavanjem
Kazimir Majorinc. Povijest Lispa 12. Razmjena vještina Hacklab u mami 10. studeni 2012.
Kazimir Majorinc Povijest Lispa 12. j Razmjena vještina Hacklab u mami 10. studeni 2012. MIT Research Laboratory of Electronics, Quarterly Progress Report, 15. travnja, 1959. Sadrži jednu od bar četiri
PARCIJALNI IZVODI I DIFERENCIJALI. Sama definicija parcijalnog izvoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je,
PARCIJALNI IZVODI I DIFERENCIJALI Sama definicija parcijalnog ivoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je, naravno, naučiti onako kako vaš profesor ahteva. Mi ćemo probati
2log. se zove numerus (logaritmand), je osnova (baza) log. log. log =
( > 0, 0)!" # > 0 je najčešći uslov koji postavljamo a još je,, > 0 se zove numerus (aritmand), je osnova (baza). 0.. ( ) +... 7.. 8. Za prelazak na neku novu bazu c: 9. Ako je baza (osnova) 0 takvi se
18. listopada listopada / 13
18. listopada 2016. 18. listopada 2016. 1 / 13 Neprekidne funkcije Važnu klasu funkcija tvore neprekidne funkcije. To su funkcije f kod kojih mala promjena u nezavisnoj varijabli x uzrokuje malu promjenu
5. Karakteristične funkcije
5. Karakteristične funkcije Profesor Milan Merkle emerkle@etf.rs milanmerkle.etf.rs Verovatnoća i Statistika-proleće 2018 Milan Merkle Karakteristične funkcije ETF Beograd 1 / 10 Definicija Karakteristična
IZVODI ZADACI (I deo)
IZVODI ZADACI (I deo) Najpre da se podsetimo tablice i osnovnih pravila:. C`=0. `=. ( )`= 4. ( n )`=n n-. (a )`=a lna 6. (e )`=e 7. (log a )`= 8. (ln)`= ` ln a (>0) 9. = ( 0) 0. `= (>0) (ovde je >0 i a
5 Ispitivanje funkcija
5 Ispitivanje funkcija 3 5 Ispitivanje funkcija Ispitivanje funkcije pretodi crtanju grafika funkcije. Opšti postupak ispitivanja funkcija koje su definisane eksplicitno y = f() sadrži sledeće elemente:
1. zadatak , 3 Dakle, sva kompleksna re{ewa date jedna~ine su x 1 = x 2 = 1 (dvostruko re{ewe), x 3 = 1 + i
PRIPREMA ZA II PISMENI IZ ANALIZE SA ALGEBROM. zadatak Re{avawe algebarskih jedna~ina tre}eg i ~etvrtog stepena. U skupu kompleksnih brojeva re{iti jedna~inu: a x 6x + 9 = 0; b x + 9x 2 + 8x + 28 = 0;
M086 LA 1 M106 GRP. Tema: Baza vektorskog prostora. Koordinatni sustav. Norma. CSB nejednakost
M086 LA 1 M106 GRP Tema: CSB nejednakost. 19. 10. 2017. predavač: Rudolf Scitovski, Darija Marković asistent: Darija Brajković, Katarina Vincetić P 1 www.fizika.unios.hr/grpua/ 1 Baza vektorskog prostora.
III VEŽBA: FURIJEOVI REDOVI
III VEŽBA: URIJEOVI REDOVI 3.1. eorijska osnova Posmatrajmo neki vremenski kontinualan signal x(t) na intervalu definisati: t + t t. ada se može X [ k ] = 1 t + t x ( t ) e j 2 π kf t dt, gde je f = 1/.
numeričkih deskriptivnih mera.
DESKRIPTIVNA STATISTIKA Numeričku seriju podataka opisujemo pomoću Numeričku seriju podataka opisujemo pomoću numeričkih deskriptivnih mera. Pokazatelji centralne tendencije Aritmetička sredina, Medijana,
Zavrxni ispit iz Matematiqke analize 1
Građevinski fakultet Univerziteta u Beogradu 3.2.2016. Zavrxni ispit iz Matematiqke analize 1 Prezime i ime: Broj indeksa: 1. Definisati Koxijev niz. Dati primer niza koji nije Koxijev. 2. Dat je red n=1
XI dvoqas veжbi dr Vladimir Balti. 4. Stabla
XI dvoqas veжbi dr Vladimir Balti 4. Stabla Teorijski uvod Teorijski uvod Definicija 5.7.1. Stablo je povezan graf bez kontura. Definicija 5.7.1. Stablo je povezan graf bez kontura. Primer 5.7.1. Sva stabla
(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k.
1 3 Skupovi brojeva 3.1 Skup prirodnih brojeva - N N = {1, 2, 3,...} Aksiom matematičke indukcije Neka je N skup prirodnih brojeva i M podskup od N. Ako za M vrijede svojstva: 1) 1 M 2) n M (n + 1) M,
Kontrolni zadatak (Tačka, prava, ravan, diedar, poliedar, ortogonalna projekcija), grupa A
Kontrolni zadatak (Tačka, prava, ravan, diedar, poliedar, ortogonalna projekcija), grupa A Ime i prezime: 1. Prikazane su tačke A, B i C i prave a,b i c. Upiši simbole Î, Ï, Ì ili Ë tako da dobijeni iskazi
Elektrotehnički fakultet univerziteta u Beogradu 17.maj Odsek za Softversko inžinjerstvo
Elektrotehnički fakultet univerziteta u Beogradu 7.maj 009. Odsek za Softversko inžinjerstvo Performanse računarskih sistema Drugi kolokvijum Predmetni nastavnik: dr Jelica Protić (35) a) (0) Posmatra
Zadaci iz Osnova matematike
Zadaci iz Osnova matematike 1. Riješiti po istinitosnoj vrijednosti iskaza p, q, r jednačinu τ(p ( q r)) =.. Odrediti sve neekvivalentne iskazne formule F = F (p, q) za koje je iskazna formula p q p F
4.7. Zadaci Formalizam diferenciranja (teorija na stranama ) 343. Znajući izvod funkcije x arctg x, odrediti izvod funkcije x arcctg x.
4.7. ZADACI 87 4.7. Zadaci 4.7.. Formalizam diferenciranja teorija na stranama 4-46) 340. Znajući izvod funkcije arcsin, odrediti izvod funkcije arccos. Rešenje. Polazeći od jednakosti arcsin + arccos
7 Algebarske jednadžbe
7 Algebarske jednadžbe 7.1 Nultočke polinoma Skup svih polinoma nad skupom kompleksnih brojeva označavamo sa C[x]. Definicija. Nultočka polinoma f C[x] je svaki kompleksni broj α takav da je f(α) = 0.
Neka su A i B proizvoljni neprazni skupovi. Korespondencija iz skupa A u skup B definiše se kao proizvoljan podskup f Dekartovog proizvoda A B.
Korespondencije Neka su A i B proizvoljni neprazni skupovi. Korespondencija iz skupa A u skup B definiše se kao proizvoljan podskup f Dekartovog proizvoda A B. Pojmovi B pr 2 f A B f prva projekcija od
radni nerecenzirani materijal za predavanja
Matematika 1 Funkcije radni nerecenzirani materijal za predavanja Definicija 1. Kažemo da je funkcija f : a, b R u točki x 0 a, b postiže lokalni minimum ako postoji okolina O(x 0 ) broja x 0 takva da je
MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15
MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15 Matrice - osnovni pojmovi (Matrice i determinante) 2 / 15 (Matrice i determinante) 2 / 15 Matrice - osnovni pojmovi Matrica reda
Konstruisati efikasan algoritam znači dati skup preciznih uputstava kako doći do rešenja zadatog problema Algoritmi se mogu opisivati:
Staša Vujičić Konstruisati efikasan algoritam znači dati skup preciznih uputstava kako doći do rešenja zadatog problema Algoritmi se mogu opisivati: pseudo jezikom prirodnim jezikom dijagramom toka. 2
a M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A.
3 Infimum i supremum Definicija. Neka je A R. Kažemo da je M R supremum skupa A ako je (i) M gornja meda skupa A, tj. a M a A. (ii) M najmanja gornja meda skupa A, tj. ( ε > 0)( a A) takav da je a > M
Verovatnoća i Statistika I deo Teorija verovatnoće (zadaci) Beleške dr Bobana Marinkovića
Verovatnoća i Statistika I deo Teorija verovatnoće zadaci Beleške dr Bobana Marinkovića Iz skupa, 2,, 00} bira se na slučajan način 5 brojeva Odrediti skup elementarnih dogadjaja ako se brojevi biraju
Računarska grafika. Rasterizacija linije
Računarska grafika Osnovni inkrementalni algoritam Drugi naziv u literaturi digitalni diferencijalni analizator (DDA) Pretpostavke (privremena ograničenja koja se mogu otkloniti jednostavnim uopštavanjem
MATEMATIKA 2. Grupa 1 Rexea zadataka. Prvi pismeni kolokvijum, Dragan ori
MATEMATIKA 2 Prvi pismeni kolokvijum, 14.4.2016 Grupa 1 Rexea zadataka Dragan ori Zadaci i rexea 1. unkcija f : R 2 R definisana je sa xy 2 f(x, y) = x2 + y sin 3 2 x 2, (x, y) (0, 0) + y2 0, (x, y) =
INTEGRALNI RAČUN. Teorije, metodike i povijest infinitezimalnih računa. Lucija Mijić 17. veljače 2011.
INTEGRALNI RAČUN Teorije, metodike i povijest infinitezimalnih računa Lucija Mijić lucija@ktf-split.hr 17. veljače 2011. Pogledajmo Predstavimo gornju sumu sa Dodamo još jedan Dobivamo pravokutnik sa Odnosno
Univerzitet u Nišu, Prirodno-matematički fakultet Prijemni ispit za upis OAS Matematika
Univerzitet u Nišu, Prirodno-matematički fakultet Prijemni ispit za upis OAS Matematika Rešenja. Matematičkom indukcijom dokazati da za svaki prirodan broj n važi jednakost: + 5 + + (n )(n + ) = n n +.
Sortiranje prebrajanjem (Counting sort) i Radix Sort
Sortiranje prebrajanjem (Counting sort) i Radix Sort 15. siječnja 2016. Ante Mijoč Uvod Teorem Ako je f(n) broj usporedbi u algoritmu za sortiranje temeljenom na usporedbama (eng. comparison-based sorting
Algoritmi i strukture podataka - 1.cas
Algoritmi i strukture podataka - 1.cas Aleksandar Veljković October 2016 Materijali su zasnovani na materijalima Mirka Stojadinovića 1 Složenost algoritama Približna procena vremena ili prostora potrebnog
PID: Domen P je glavnoidealski [PID] akko svaki ideal u P je glavni (generisan jednim elementom; oblika ap := {ab b P }, za neko a P ).
0.1 Faktorizacija: ID, ED, PID, ND, FD, UFD Definicija. Najava pojmova: [ID], [ED], [PID], [ND], [FD] i [UFD]. ID: Komutativan prsten P, sa jedinicom 1 0, je integralni domen [ID] oblast celih), ili samo
2 tg x ctg x 1 = =, cos 2x Zbog četvrtog kvadranta rješenje je: 2 ctg x
Zadatak (Darjan, medicinska škola) Izračunaj vrijednosti trigonometrijskih funkcija broja ako je 6 sin =,,. 6 Rješenje Ponovimo trigonometrijske funkcije dvostrukog kuta! Za argument vrijede sljedeće formule:
Cauchyjev teorem. Postoji više dokaza ovog teorema, a najjednostvniji je uz pomoć Greenove formule: dxdy. int C i Cauchy Riemannovih uvjeta.
auchyjev teorem Neka je f-ja f (z) analitička u jednostruko (prosto) povezanoj oblasti G, i neka je zatvorena kontura koja čitava leži u toj oblasti. Tada je f (z)dz = 0. Postoji više dokaza ovog teorema,
Prvi pismeni zadatak iz Analize sa algebrom novembar Ispitati znak funkcije f(x) = tgx x x3. 2. Naći graničnu vrednost lim x a
Testovi iz Analize sa algebrom 4 septembar - oktobar 009 Ponavljanje izvoda iz razreda (f(x) = x x ) Ispitivanje uslova Rolove teoreme Ispitivanje granične vrednosti f-je pomoću Lopitalovog pravila 4 Razvoj
KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI. NEUTRALNI ELEMENT GRUPOIDA.
KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI NEUTRALNI ELEMENT GRUPOIDA 1 Grupoid (G, ) je asocijativa akko važi ( x, y, z G) x (y z) = (x y) z Grupoid (G, ) je komutativa akko važi ( x, y G) x y = y x Asocijativa
IZRAČUNAVANJE POKAZATELJA NAČINA RADA NAČINA RADA (ISKORIŠĆENOSTI KAPACITETA, STEPENA OTVORENOSTI RADNIH MESTA I NIVOA ORGANIZOVANOSTI)
IZRAČUNAVANJE POKAZATELJA NAČINA RADA NAČINA RADA (ISKORIŠĆENOSTI KAPACITETA, STEPENA OTVORENOSTI RADNIH MESTA I NIVOA ORGANIZOVANOSTI) Izračunavanje pokazatelja načina rada OTVORENOG RM RASPOLOŽIVO RADNO
Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu
Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu Trigonometrijske jednačine i nejednačine. Zadaci koji se rade bez upotrebe trigonometrijskih formula. 00. FF cos x sin x
TRIGONOMETRIJSKE FUNKCIJE I I.1.
TRIGONOMETRIJSKE FUNKCIJE I I Odredi na brojevnoj trigonometrijskoj kružnici točku Et, za koju je sin t =,cost < 0 Za koje realne brojeve a postoji realan broj takav da je sin = a? Izračunaj: sin π tg
Pismeni ispit iz matematike Riješiti sistem jednačina i diskutovati rješenja sistema u zavisnosti od parametra: ( ) + 1.
Pismeni ispit iz matematike 0 008 GRUPA A Riješiti sistem jednačina i diskutovati rješenja sistema u zavisnosti od parametra: λ + z = Ispitati funkciju i nacrtati njen grafik: + ( λ ) + z = e Izračunati
DRUGI KOLOKVIJUM IZ MATEMATIKE 9x + 6y + z = 1 4x 2y + z = 1 x + 2y + 3z = 2. je neprekidna za a =
x, y, z) 2 2 1 2. Rešiti jednačinu: 2 3 1 1 2 x = 1. x = 3. Odrediti rang matrice: rang 9x + 6y + z = 1 4x 2y + z = 1 x + 2y + 3z = 2. 2 0 1 1 1 3 1 5 2 8 14 10 3 11 13 15 = 4. Neka je A = x x N x < 7},
Vremenske i prostorne klase složenosti
Vremenske i prostorne klase složenosti N. Ikodinović ikodinovic@matf.bg.ac.rs 26. 12. 2017. (Matematički fakultet, Beograd) 26. 12. 2017. 1 / 21 Pregled predavanja (Matematički fakultet, Beograd) 26. 12.
Matematička analiza 1 dodatni zadaci
Matematička analiza 1 dodatni zadaci 1. Ispitajte je li funkcija f() := 4 4 5 injekcija na intervalu I, te ako jest odredite joj sliku i inverz, ako je (a) I = [, 3), (b) I = [1, ], (c) I = ( 1, 0].. Neka
SKUPOVI I SKUPOVNE OPERACIJE
SKUPOVI I SKUPOVNE OPERACIJE Ne postoji precizna definicija skupa (postoji ali nama nije zanimljiva u ovom trenutku), ali mi možemo koristiti jednu definiciju koja će nam donekle dočarati šta su zapravo
Jednodimenzionalne slučajne promenljive
Jednodimenzionalne slučajne promenljive Definicija slučajne promenljive Neka je X f-ja def. na prostoru verovatnoća (Ω, F, P) koja preslikava prostor el. ishoda Ω u skup R realnih brojeva: (1)Skup {ω/
radni nerecenzirani materijal za predavanja R(f) = {f(x) x D}
Matematika 1 Funkcije radni nerecenzirani materijal za predavanja Definicija 1. Neka su D i K bilo koja dva neprazna skupa. Postupak f koji svakom elementu x D pridružuje točno jedan element y K zovemo funkcija
APROKSIMACIJA FUNKCIJA
APROKSIMACIJA FUNKCIJA Osnovni koncepti Gradimir V. Milovanović MF, Beograd, 14. mart 2011. APROKSIMACIJA FUNKCIJA p.1/46 Osnovni problem u TA Kako za datu funkciju f iz velikog prostora X naći jednostavnu
IZVODI ZADACI (I deo)
IZVODI ZADACI (I deo Najpre da se podsetimo tablice i osnovnih pravila:. C0.. (. ( n n n-. (a a lna 6. (e e 7. (log a 8. (ln ln a (>0 9. ( 0 0. (>0 (ovde je >0 i a >0. (cos. (cos - π. (tg kπ cos. (ctg
Apsolutno neprekidne raspodele Raspodele apsolutno neprekidnih sluqajnih promenljivih nazivaju se apsolutno neprekidnim raspodelama.
Apsolutno neprekidne raspodele Raspodele apsolutno neprekidnih sluqajnih promenljivih nazivaju se apsolutno neprekidnim raspodelama. a b Verovatno a da sluqajna promenljiva X uzima vrednost iz intervala
KVADRATNA FUNKCIJA. Kvadratna funkcija je oblika: Kriva u ravni koja predstavlja grafik funkcije y = ax + bx + c. je parabola.
KVADRATNA FUNKCIJA Kvadratna funkcija je oblika: = a + b + c Gde je R, a 0 i a, b i c su realni brojevi. Kriva u ravni koja predstavlja grafik funkcije = a + b + c je parabola. Najpre ćemo naučiti kako
Trigonometrija 2. Adicijske formule. Formule dvostrukog kuta Formule polovičnog kuta Pretvaranje sume(razlike u produkt i obrnuto
Trigonometrija Adicijske formule Formule dvostrukog kuta Formule polovičnog kuta Pretvaranje sume(razlike u produkt i obrnuto Razumijevanje postupka izrade složenijeg matematičkog problema iz osnova trigonometrije
ASIMPTOTE FUNKCIJA. Dakle: Asimptota je prava kojoj se funkcija približava u beskonačno dalekoj tački. Postoje tri vrste asimptota:
ASIMPTOTE FUNKCIJA Naš savet je da najpre dobro proučite granične vrednosti funkcija Neki profesori vole da asimptote funkcija ispituju kao ponašanje funkcije na krajevima oblasti definisanosti, pa kako
( ) ( ) 2 UNIVERZITET U ZENICI POLITEHNIČKI FAKULTET. Zadaci za pripremu polaganja kvalifikacionog ispita iz Matematike. 1. Riješiti jednačine: 4
UNIVERZITET U ZENICI POLITEHNIČKI FAKULTET Riješiti jednačine: a) 5 = b) ( ) 3 = c) + 3+ = 7 log3 č) = 8 + 5 ć) sin cos = d) 5cos 6cos + 3 = dž) = đ) + = 3 e) 6 log + log + log = 7 f) ( ) ( ) g) ( ) log
Deljivost. 1. Ispitati kada izraz (n 2) 3 + n 3 + (n + 2) 3,n N nije deljiv sa 18.
Deljivost 1. Ispitati kada izraz (n 2) 3 + n 3 + (n + 2) 3,n N nije deljiv sa 18. Rešenje: Nazovimo naš izraz sa I.Važi 18 I 2 I 9 I pa možemo da posmatramo deljivost I sa 2 i 9.Iz oblika u kom je dat
Pismeni ispit iz matematike GRUPA A 1. Napisati u trigonometrijskom i eksponencijalnom obliku kompleksni broj, zatim naći 4 z.
Pismeni ispit iz matematike 06 007 Napisati u trigonometrijskom i eksponencijalnom obliku kompleksni broj z = + i, zatim naći z Ispitati funkciju i nacrtati grafik : = ( ) y e + 6 Izračunati integral:
Linearna algebra 2 prvi kolokvij,
Linearna algebra 2 prvi kolokvij, 27.. 20.. Za koji cijeli broj t je funkcija f : R 4 R 4 R definirana s f(x, y) = x y (t + )x 2 y 2 + x y (t 2 + t)x 4 y 4, x = (x, x 2, x, x 4 ), y = (y, y 2, y, y 4 )
Inženjerska grafika geometrijskih oblika (5. predavanje, tema1)
Inženjerska grafika geometrijskih oblika (5. predavanje, tema1) Prva godina studija Mašinskog fakulteta u Nišu Predavač: Dr Predrag Rajković Mart 19, 2013 5. predavanje, tema 1 Simetrija (Symmetry) Simetrija
KVADRATNA FUNKCIJA. Kvadratna funkcija je oblika: Kriva u ravni koja predstavlja grafik funkcije y = ax + bx + c. je parabola.
KVADRATNA FUNKCIJA Kvadratna funkcija je oblika: a + b + c Gde je R, a 0 i a, b i c su realni brojevi. Kriva u ravni koja predstavlja grafik funkcije a + b + c je parabola. Najpre ćemo naučiti kako izgleda
Iskazna logika 1. Matematička logika. Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia.
Matematička logika Department of Mathematics and Informatics, Faculty of Science,, Serbia oktobar 2012 Iskazi, istinitost, veznici Intuitivno, iskaz je rečenica koja je ima tačno jednu jednu istinitosnu
Dvanaesti praktikum iz Analize 1
Dvaaesti praktikum iz Aalize Zlatko Lazovi 20. decembar 206.. Dokazati da fukcija f = 5 l tg + 5 ima bar jedu realu ulu. Ree e. Oblast defiisaosti fukcije je D f = k Z da postoji ula fukcije a 0, π 2.
Program za tablično računanje Microsoft Excel
Program za tablično računanje Microsoft Excel Teme Formule i funkcije Zbrajanje Oduzimanje Množenje Dijeljenje Izračun najveće vrijednosti Izračun najmanje vrijednosti 2 Formule i funkcije Naravno da je
10 Iskazni račun - deduktivni sistem za iskaznu logiku
10 Iskazni račun - deduktivni sistem za iskaznu logiku Definicija 20 Iskazni račun je deduktivni sistem H = X, F orm, Ax, R, gde je X = S {,, (, )}, gde S = {p 1, p 2,..., p n,... }, F orm je skup iskaznih
SOPSTVENE VREDNOSTI I SOPSTVENI VEKTORI LINEARNOG OPERATORA I KVADRATNE MATRICE
1 SOPSTVENE VREDNOSTI I SOPSTVENI VEKTORI LINEARNOG OPERATORA I KVADRATNE MATRICE Neka je (V, +,, F ) vektorski prostor konačne dimenzije i neka je f : V V linearno preslikavanje. Definicija. (1) Skalar
Sume kvadrata. mn = (ax + by) 2 + (ay bx) 2.
Sume kvadrata Koji se prirodni brojevi mogu prikazati kao zbroj kvadrata dva cijela broja? Propozicija 1. Ako su brojevi m i n sume dva kvadrata, onda je i njihov produkt m n takoder suma dva kvadrata.
RAČUNSKE VEŽBE IZ PREDMETA POLUPROVODNIČKE KOMPONENTE (IV semestar modul EKM) IV deo. Miloš Marjanović
Univerzitet u Nišu Elektronski fakultet RAČUNSKE VEŽBE IZ PREDMETA (IV semestar modul EKM) IV deo Miloš Marjanović MOSFET TRANZISTORI ZADATAK 35. NMOS tranzistor ima napon praga V T =2V i kroz njega protiče
I Pismeni ispit iz matematike 1 I
I Pismeni ispit iz matematike I 27 januar 2 I grupa (25 poena) str: Neka je A {(x, y, z): x, y, z R, x, x y, z > } i ako je operacija definisana sa (x, y, z) (u, v, w) (xu + vy, xv + uy, wz) Ispitati da
Dijagonalizacija operatora
Dijagonalizacija operatora Problem: Može li se odrediti baza u kojoj zadani operator ima dijagonalnu matricu? Ova problem je povezan sa sljedećim pojmovima: 1 Karakteristični polinom operatora f 2 Vlastite
Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika. Monotonost i ekstremi. Katica Jurasić. Rijeka, 2011.
Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika Monotonost i ekstremi Katica Jurasić Rijeka, 2011. Ishodi učenja - predavanja Na kraju ovog predavanja moći ćete:,
Riješeni zadaci: Nizovi realnih brojeva
Riješei zadaci: Nizovi realih brojeva Nizovi, aritmetički iz, geometrijski iz Fukciju a : N R azivamo beskoači) iz realih brojeva i ozačavamo s a 1, a,..., a,... ili a ), pri čemu je a = a). Aritmetički
Linearna algebra 2 prvi kolokvij,
1 2 3 4 5 Σ jmbag smjer studija Linearna algebra 2 prvi kolokvij, 7. 11. 2012. 1. (10 bodova) Neka je dano preslikavanje s : R 2 R 2 R, s (x, y) = (Ax y), pri čemu je A: R 2 R 2 linearan operator oblika
Glava 1. Realne funkcije realne promen ive. 1.1 Elementarne funkcije
Glava 1 Realne funkcije realne promen ive 1.1 Elementarne funkcije Neka su dati skupovi X i Y. Ukoliko svakom elementu skupa X po nekom pravilu pridruimo neki, potpuno odreeni, element skupa Y kaemo da
1 Promjena baze vektora
Promjena baze vektora Neka su dane dvije različite uredene baze u R n, označimo ih s A = (a, a,, a n i B = (b, b,, b n Svaki vektor v R n ima medusobno različite koordinatne zapise u bazama A i B Zapis
Funkcije dviju varjabli (zadaci za vježbu)
Funkcije dviju varjabli (zadaci za vježbu) Vidosava Šimić 22. prosinca 2009. Domena funkcije dvije varijable Ako je zadano pridruživanje (x, y) z = f(x, y), onda se skup D = {(x, y) ; f(x, y) R} R 2 naziva
4 Numeričko diferenciranje
4 Numeričko diferenciranje 7. Funkcija fx) je zadata tabelom: x 0 4 6 8 fx).17 1.5167 1.7044 3.385 5.09 7.814 Koristeći konačne razlike, zaključno sa trećim redom, odrediti tačku x minimuma funkcije fx)
1 Afina geometrija. 1.1 Afini prostor. Definicija 1.1. Pod afinim prostorom nad poljem K podrazumevamo. A - skup taqaka
1 Afina geometrija 11 Afini prostor Definicija 11 Pod afinim prostorom nad poljem K podrazumevamo svaku uređenu trojku (A, V, +): A - skup taqaka V - vektorski prostor nad poljem K + : A V A - preslikavanje
1 Svojstvo kompaktnosti
1 Svojstvo kompaktnosti 1 Svojstvo kompaktnosti U ovoj lekciji će se koristiti neka svojstva realnih brojeva sa kojima se čitalac već upoznao tokom kursa iz uvoda u analizu. Na primer, važi Kantorov princip:
Algebarske strukture sa jednom operacijom (A, ): Ako operacija ima osobine: zatvorenost i asocijativnost, onda je (A, ) polugrupa
Binarne operacije Binarna operacija na skupu A je preslikavanje skupa A A u A, to jest : A A A. Pišemo a b = c. Označavanje operacija:,,,. Poznate operacije: sabiranje (+), oduzimanje ( ), množenje ( ).
Sistemi veštačke inteligencije primer 1
Sistemi veštačke inteligencije primer 1 1. Na jeziku predikatskog računa formalizovati rečenice: a) Miloš je slikar. b) Sava nije slikar. c) Svi slikari su umetnici. Uz pomoć metode rezolucije dokazati
RIJEŠENI ZADACI I TEORIJA IZ
RIJEŠENI ZADACI I TEORIJA IZ LOGARITAMSKA FUNKCIJA SVOJSTVA LOGARITAMSKE FUNKCIJE OSNOVE TRIGONOMETRIJE PRAVOKUTNOG TROKUTA - DEFINICIJA TRIGONOMETRIJSKIH FUNKCIJA - VRIJEDNOSTI TRIGONOMETRIJSKIH FUNKCIJA