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

Opinto-opas 2006-2007

MAT-41180 FORMAALIT KIELET, 6 op
Formal Languages

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

  • Opintojaksolla käytetään numeerista arviointiasteikkoa (1-5)

  • 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.

  • Opintojakso soveltuu jatko-opinnoiksi.

  • Opintojaksoa ei luennoida lukuvuonna 2006-2007.

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

  • Opintojaksolla hyödynnetyt tieto- ja viestintätekniikat
  • - tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
    - harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa

    Mitoitus
    OpetusmuodotTuntia
    Luennot 96
    Harjoitukset 48
    Kaikki yhteensä 144

    Opintojaksokorvaavuus
    73118 Formaaliset kielet

    Opintojakson kotisivu

    Viimeksi muokattu 30.01.2006
    MuokkaajaKeijo Ruohonen