Tietojenkäsittelyteoria

Kohteesta Wikipedia
Loikkaa: valikkoon, hakuun
Tietokoneen perustoiminta perustuu Turingin koneeseen, jolle kaikki tietojenkäsittelytapahtumat lopulta alistetaan.

Tietojenkäsittelyteoria kehittää ja soveltaa matemaattisia menetelmiä tietojenkäsittelytehtävien systemaattiseen mallintamiseen, analysointiin ja ratkaisuun. Tietojenkäsittelyteoreettisilla menetelmillä on keskeinen asema esimerkiksi ohjelmointikielten ja niiden kääntäjien kehittämisessä, ohjelmistojärjestelmien suunnittelutekniikoissa, rinnakkaisten tietokonearkkitehtuurien suunnittelussa, kryptografiassa, tietoliikenneverkkojen reititysalgoritmeissa ja protokollissa sekä VLSI-suunnittelussa.

Klassisia tietojenkäsittelyteorian osa-alueita ovat mm. formaalit kielet ja kieliopit, algoritmiteoria ja laskettavuus, automaattiteoria, sanojen kombinatoriikka, formaalit menetelmät, rinnakkaislaskennan mallittaminen ja verifiointi sekä laskennallinen logiikka.

Tämä tietotekniikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.