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.
Lähtötaso ja sidonnaisuudet muihin opintojaksoihin
Johdatus tietojenkäsittelyyn, Tietorakenteet ja algoritmit I, Diskreetit rakenteet.
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.
Lisätiedot
Kurssin arvioinnissa kurssikoe tai sen uusintakoe 80%, tehdyt harjoitustehtävät 20%. Yleisissä kuulusteluissa harjoitustehtäviä ei enää huomioida.