Opintojaksot   |Tutkinnot| |Opintokokonaisuudet| |Kaikki| |Jatko| |KV|  |Haku|

Opintojakson vastuuhenkilö
Keijo Ruohonen

Toteutuskerrat

	Periodi 1	Periodi 2	Periodi 3	Periodi 4	Periodi 5	Kesä
Luento	4 h/vko	4 h/vko	-	-	-	-
Harjoitus	2 h/vko	2 h/vko	-	-	-	-
Tentti

(Lukuvuoden 2006-2007 aikataulu)

Tavoitteet
Perehtyminen kielten formaaliin teoriaan sekä sen yhteyksiin mm. laskettavuuden ja algoritmien teoriaan.

Sisältö

Sisältöalue	Ydinaines	Täydentävä tietämys	Erityistietämys
1.	Formaalien kielten perusominaisuudet. Chomskyn kielioppityypit. Kielten tunnistamiseen käytetyt automaatit (FA, PDA, LBA, TM). Lindenmayerin systeemit.
2.	Kooditeoriaa (koodit, prefiksikoodit, rajoitetun viipeen koodit, optimikoodit, Huffmanin koodaus).
3.	Formaalit potenssisarjat. Multikielet, stokastiset kielet, kvanttikielet

Suoritusvaatimukset
Hyväksytysti suoritettu kirjallinen tentti.

Opintojakson arviointikriteerit

Oppimateriaali

Tyyppi	Nimi	Tekijä	ISBN	URL	Painos,saatavuus...	Tenttimateriaali	Kieli
Luentokalvot	Formaalit kielet	Ruohonen, K.			(Sisältö)(Kirjallisuus) (pdf, 2.7 Mb)	Kyllä	Suomi
Kirja	Introduction to Languages and the Theory of Computation	Martin, J.C.				Ei ole	Englanti
Kirja	Theory of Formal Languages with Applications	Simovici, D.A. & Tenney, R.L.				Ei ole	Englanti

Esitiedot

Tunnus	Nimi	OP	P/S
MAT-21160	MAT-21160 Algoritmimatematiikka	3	Suositeltava

Esitietoketju (Vaatii kirjautumisen TTY Intranetiin)

Huomautuksia

Luennoidaan joka toinen vuosi, vuorovuosin kurssin MAT-41176 Automaattiteoria kanssa.

Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa

- tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
- harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa

Mitoitus

Opetusmuodot	Tuntia
Luennot	96
Harjoitukset	48
Kaikki yhteensä	144

Opintojaksokorvaavuus
73118 Formaaliset kielet

Opintojakson kotisivu

Viimeksi muokattu	30.01.2006
Muokkaaja	Keijo Ruohonen