| Opintojaksot | |||||
| |Tutkinnot| | |Opintokokonaisuudet| | |Kaikki| | |Jatko| | |KV| | |
|
|
|
|||||||||||
MAT-41180 FORMAALIT KIELET, 6 op
|
Opintojakson vastuuhenkilö
Keijo Ruohonen
Opettajat
Keijo Ruohonen
Luentoajat ja -paikat
Per I,II: Keskiviikko 12 - 14, TB219 (Sähkö, TiTe, TiJo, TLE, TeLu)
Per I,II: Perjantai 10 - 12, TB223 (Sähkö, TiTe, TLE, TeLu)
Toteutuskerrat
| Koulutusohjelmat: | Sähkötekniikka, Tietotekniikka, Automaatiotekniikka, Tietoliikenne-elektroniikka, Teknis-luonnontieteellinen, Biotekniikka |
| 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 | ||||||
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, 1.2 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
- opetusmateriaalin laadinnassa erityisesti verkkokäyttöön tai muuhun sähköiseen viestimeen
- harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa
- asioiden ja ilmiöiden havainnollistamisessa esim. animaatiot, demot, simulaatiot, videoleikkeet
| Opetusmuodot | Tuntia |
| Luennot | 96 |
| Harjoitukset | 48 |
| Kaikki yhteensä | 144 |
Opintojaksokorvaavuus
73118 Formaaliset kielet
| Viimeksi muokattu | 22.11.2007 |
| Muokkaaja | Keijo Ruohonen |