|
|
MAT-41180 FORMAALIT KIELET, 6 op
|
Opintojakson vastuuhenkilö
Keijo Ruohonen
Opettajat
Keijo Ruohonen, professori (kotisivu)
Luentoajat ja -paikat
Per I,II: Keskiviikko 12 - 14, TB219 (Sähkö, TiTe, TeLu)
Per I,II: Perjantai 11 - 13, TB222 (Sähkö, TiTe, TeLu)
Toteutuskerrat
Toteutus 1
| Periodi 1 | Periodi 2 | Periodi 3 | Periodi 4 | Periodi 5 | Kesä | Opetuskieli | |
| Luento | 4 h/vko+ | 4 h/vko | - | - | - | - | Vain suomeksi |
| Harjoitus | 2 h/vko+ | 2 h/vko | - | - | - | - | Vain suomeksi |
| Tentti | Suomeksi, pyydettäessä englanniksi | ||||||
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). |
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 | Algoritmimatematiikka | 3 | Suositeltava |
Huomautuksia
Luennoidaan joka toinen vuosi, vuorovuosin kurssin MAT-41176 Automaattiteoria kanssa.
Opintojaksokorvaavuus
73118 Formaaliset kielet
| Viimeksi muokattu | 24.11.2005 |
| Muokkaaja | Keijo Ruohonen |