TTKK Opinto-opas
73118 Formaaliset kielet, 3,0 ov
Formal Languages, 3,0 cu
Professori KEIJO RUOHONEN
Luentoja 42 h. Harjoituksia 28 h.
| Viikottainen Opetus / Periodi |
S1 | S2 | K1 | K2 | Kesä |
|---|
| Luennot (h) | 3+ | 3 |
- | - | - |
|---|
| Harjoitukset (h) | 2+ | 2 |
- | - | - |
|---|
Sisältö
Perehdytään formaalien kielten perusominaisuuksiin.
Kieliopin tyyppijako. Kielten tunnistamiseen käytetyt
automaatit.
Tutkintovaatimukset
Hyväksytysti suoritettu kirjallinen tentti.
Kirjallisuus
Martin, J.C.: Introduction to Languages and the Theory of
Computation. McGraw-Hill (-97); Kinber, E. & Smith, C.: Theory of
Computing. A Gentle Introduction. Prentice-Hall (-00);
Hopcroft, J.E. & Motwani, R. & Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley (-01),
Suositeltavat esitiedot
73035 Insinöörimatematiikka 2 tai 73060 Laaja matematiikka 2,
73116 Algoritmimatematiikka
Huomautuksia
Luennoidaan joka toinen vuosi, vuorovuosin kurssin 73117 Automaattiteoria
kanssa. Luennoidaan lukuvuonna 2001-2002. Vastaava opettaja professori
Keijo Ruohonen.
Linkkejä
Kurssisivu (sisältää