Laskennan perusmallitLaajuus (3 op)

Osaamistavoitteet

Tietojenkäsittelyongelmien ja niiden ratkaisukeinojen teoreettinen mallintaminen ja rajoittuen käytännön ohjelmistotyössä sovellettaviin kuvausmenetelmiin ja syötteiden käsittelytekniikkoihin (alkioanalyysi ja jäsennys): Äärelliset automaatit ja säännölliset kielet, pinoautomaatit ja kontekstittomat kielet.

Sisältö

Tietojenkäsittelyteorian alkeiden hallinta.
Säännöllisten kielten ja kontekstittomien kielten kuvaamisessa ja käsittelemisessä tarvittavien perusvälineiden ja -tekniikoiden hallinta.
Käsitys laskettavuuden ja ratkeavuuden perusteista, Churchin-Turingin teesistä ja näiden keskeisistä perusteluista ja seurauksista.

Esitietovaatimukset

Johdatus tietojenkäsittelyyn, Tietorakenteet ja algoritmit I, Diskreetit rakenteet.

Oppimateriaalit

Luentomuistiinpanot. Niiden ohella voi käyttää sopivia kirjoja, kuten: Kozen D.C.: Automata and Computability (Springer, 1997) tai Hopcroft J.E., Motwani R., Ullman J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd Ed. (Pearson, 2006).

Lisätiedot

Kurssin arvioinnissa kurssikoe tai sen uusintakoe 80%, tehdyt harjoitustehtävät 20%. Yleisissä kuulusteluissa harjoitustehtäviä ei enää huomioida.

Toteutustavat

Luentoja 22 h, harjoituksia 10 h.

Suoritustavat

Osallistuminen harjoituksiin ja loppukuulustelu.