Luennot

Luennot pidetään tiistaisin kello 8:30–10 sekä torstaisin kello 12:15–14 ajalla 10.1.–8.3. Luennot pidetään tiistaisin Agoran Alfa-salissa ja torstaisin Agoran Delta-salissa (tarkista kuitenkin mahdolliset muutokset Korpista).

Luennot eivät ole pakollisia, mutta niihin osallistuminen on suositeltavaa.


Tulevien luentojen aiheet ovat alustavia ja voivat muuttua! Artikkelilinkit toimivat yliopiston verkossa. Yliopiston verkon ulkopuolella (jos sinulla on yliopiston käyttäjätunnus ja salasana) käytä ezproxy-palvelua (example.orgexample.org.ezproxy.jyu.fi)

PäiväAiheLuentokalvotEsimerkkiohjelmatJälkiprujuLisäprujut
Aloitus
10.1.2012AloitusluentoPDFPDF, LaTeXPDF
Säännölliset kielet
12.1.2012Deterministiset äärelliset automaatit (DFA:t)PDFautom3.c Autom3.java Autom3.hsPDF
17.1.2012Säännölliset kieletPDFPDF, LaTeX
19.1.2012Epädeterministiset äärelliset automaatit (NFA:t) ja säännölliset lausekkeetPDFPDF, LaTeX
24.1.2012Kaksi algoritmia automaateillePDFPDF, LaTeX
26.1.2012Säännöllisten lausekkeiden toteutuksestaPDFPDF, LaTeX
Kontekstittomat kielet
31.1.2012Säännöllisten kielten pumppaus, kontekstittomat kieliopitPDFPDF, LaTeX
2.2.2012Kontekstittomista kieliopeista lisääPDFPDF, LaTeX
7.2.2012Jäsennystekniikoita (Earley, ennustava)PDFRdex.javaPDF, LaTeX (LL.java)PDF (e.y, y.output); linkki Earleyn paperiin
9.2.2012LUENTO PERUTTU
14.2.2012LUENTO PERUTTU
16.2.2012Attribuuttikieliopit, YaccPDFlllaskin.c, laskin.y, shiftred.y, redred.yPDF, LaTeX
21.2.2012PinoautomaatitPDFPDF, LaTeX
Rekursiivisesti lueteltavat kielet
23.2.2012Kontekstittoman kielen pumppaus, kontekstiset ja yleiset kieliopit, Turingin koneetPDFPDF, LaTeX
28.2.2012Turingin koneet, Turingin teesiPDFPDF, LaTeXKaksi artikkelia Turingin teesin historiasta: Computability and Recursion, Computability and Incomputability
1.3.2012Turingin koneen muunnelmia ja vaihtoehtojaPDFPDF, LaTeX
6.2.2012Laskennan rajat: päätösongelmat, diagonaalikieli, universaalikone, pysähtymisongelmaPDFPDF, LaTeX
8.3.2012Ratkeavuutta, Ricen lause, metaaPDFPDF, LaTeX
Lopetus
13.3.2012Rekursioteoria, λPDFPDF, LaTeXlambdalaskinmalli
15.3.2012Yhteenveto

Kurssin pääsivu

2012-03-13 antti-juhani.kaijanaho@jyu.fi