| Kerta |
Pvm |
Aihe |
Moniste |
| 1 | ke 10.3. |
Kurssin esittely. Mitä on laskennan teoria? |
1-27 |
| 2 | to 11.3.. |
Äärelliset automaatit. Automaatin ohjelmatoteutus. |
22, 28-40 |
| ma 15.3. | DEMO 1 |
| 3 | ke 17.3. |
Automaatin minimointi |
41-49 |
| 4 | to 18.3. |
Epädeterministiset automaatit, determinisointi |
49-55 |
| ma 22.3. | DEMO 2 |
| 5 | ke 24.3. |
Säännölliset lausekkeet, epsilon-automaatit |
56-65 |
| 6 | to 25.3. |
Automaatit <-> säännölliset lausekkeet |
65-71 |
| ma 29.3. | DEMO 3 |
| 7 | ke 31.3. |
Säännöllisten kielten rajoitukset, Pumppauslemma |
71-83 |
| pääsiäisloma |
| 8 | to 8.4. |
Pumppauslemma |
83-90 |
| ma 12.4. | DEMO 4 |
| 9 | ke 14.4. |
Kontekstittomat kielet ja kieliopit |
90-112 |
| 10 | to 15.4. |
Pinoautomaatit, kertaus |
113-125 |
| ma 19.4. | DEMO 5 |
| ti 20.4. |
1. VÄLIKOE |
| 11 | ke 21.4. |
Jäsennys | 126-136 |
| 12 | to 22.4. |
Rekursiiviset jäsentäjät |
136-143 |
| ma 26.4. | DEMO 6 |
| 13 | ke 28.4. |
Chomskyn normaalimuoto. CYK-algoritmi |
144-158 |
| 14 | to 29.4. |
kokeen palautus, Turingin koneet |
159-179 |
| ma 3.5. | DEMO 7 |
| 15 | ke 5.5. |
Ratkeavuus; Universaalikieli ja -koneet |
179-199 |
| 16 | to 6.5. |
Ratkeamattomuus |
|
| ma 10.5. | DEMO 8 |
| ti 11.5. |
2. VÄLIKOE |