Opinto-opas 2008-2009 |
|||||
| Perus | Pori | KV | Jatko | Avoin | |
|
|
|
|||||||||||||||||
MAT-41180 Formaalit kielet, 6 op
|
Keijo Ruohonen
| Luentoajat ja -paikat | Kohderyhmä, jolle suositellaan | |
| Toteutus 1 |
Hyväksytysti suoritettu kirjallinen tentti.
Osasuoritusten pitää liittyä samaan toteutuskertaan
Perehtyminen kielten formaaliin teoriaan sekä sen yhteyksiin mm. laskettavuuden ja algoritmien teoriaan.
| 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. |
| 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 |
| Opintojakso | P/S |
| MAT-21160 Algoritmimatematiikka | Suositeltava |
| Opintojakso | Vastaa opintojaksoa | Selite |
|
|
|
|
|
|
|
Vastaavuus 1 = 1 |
| Kuvaus | Opetusmuodot | Toteutustapa | |
| Toteutus 1 |
Lähiopetus: 0 % Etäopetus: 0 % Itseopiskelu: 0 % |