Opinto-opas 2009-2010 Perus Perus Pori KV Jatko Avoin |Tutkinnot|     |Opintokokonaisuudet|     |Opintojaksot|

Vastuuhenkilö

Keijo Ruohonen

Toteutuskerrat

	Luentoajat ja -paikat	Kohderyhmä, jolle suositellaan
Toteutus 2	Per 1, 2 : Keskiviikko 12 - 14, TB223 Perjantai 10 - 12, TB223	Biotekniikan koulutusohjelma DI-Opiskelijat Jatko-opiskelijat Signaalinkäsittelyn ja tietoliikennetekniikan koulutusohjelma Sähkötekniikan koulutusohjelma Teknis-luonnontieteellinen koulutusohjelma Tietotekniikan koulutusohjelma

Suoritusvaatimukset

Hyväksytysti suoritettu kirjallinen tentti.
Osasuoritusten pitää liittyä samaan toteutuskertaan

Osaamistavoitteet

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

Sisältö

Sisältö	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.

Oppimateriaali

Tyyppi	Nimi	Tekijä	ISBN	URL	Painos,saatavuus...	Tenttimateriaali	Kieli
Kirja	Introduction to Languages and the Theory of Computation	Martin, J.C.					Englanti
Kirja	Theory of Formal Languages with Applications	Simovici, D.A. & Tenney, R.L.					Englanti
Luentokalvot	Formaalit kielet	Ruohonen, K.					Suomi
Muu verkkomateriaali	Kotisivu						Suomi
Opintomoniste	Formaalit kielet	Ruohonen, K.					Suomi

Esitietovaatimukset

Vastaavuudet

Tarkempia tietoja toteutuskerroittain

	Kuvaus	Opetusmuodot	Toteutustapa
Toteutus 2			Lähiopetus: 0 % Etäopetus: 0 % Itseopiskelu: 0 %

Viimeksi muokattu	29.05.2009
Muokkaaja	Keijo Ruohonen