Yleisten kielioppien ja rekursiivisten funktioiden käsittely
oppikirjan uudessa painoksessa poikkeaa huomattavasti vanhasta
painoksesta, muuten asiat ovat pysyneet melko lailla samoina.
Tärkeimpänä poikkeuksena on Gödel-numeorointi, joka on tiputettu pois
uudesta painoksesta, mutta joka kuuluu vielä kurssin asioihin. Asiasta
tulee kuitenkin jonkin verran materiaalia prujuissa.

Merkintä *-tarkoittaa, että uusi painos poikkeaa merkittävästi
vanhasta. 

Vanha   | Uusi  | Aihe
-------------------------------------------------
1.1     | -     | Väitteiden totuudellisuus
1.2     | 1.1   | Joukko-oppia
1.3     | 1.2   | Relaatiot ja funktiot
1.4     | 1.3   | Erityisiä binäärirelaatioita
1.5     | *1.6  | Sulkeumat (uudessa lisäksi yleistä algoritmeista)
1.6     | 1.4   | Äärelliset ja äärettömät joukot
1.7     | 1.5   | Todistusmenetelmiä
1.8     | 1.7   | Aakkostot ja kielet
1.9     | 1.8   | Kielten formaalit esitysmuodot
------------------------------------------------
Toisen luvun asiat ovat samat molemmissa kirjoissa, mutta niiden
ryhmittely ja esiintymisjärjestys on muuttunut melkoisen paljon. 
------------------------------------------------
3.1     | 3.1   | Yhteydettömät kieliopit
3.2     | 3.1   | Yhteydettömät ja säännölliset kielet
3.3     | 3.3   | Pinoautomaatit
3.4     | 3.4   | Pinoautomaatit ja yhteydettömät kielet
3.5     | 3.5   | Yhteydettömien kielten ominaisuudet (sivujen 127-130
          3.6     asia on poistettu kokonaan uudesta painoksesta)
3.6     | 3.7   | Determinismi ja jäsennys
------------------------------------------------
4.1     | 4.1   | Turingin koneen määritelmä
4.2     | 4.2   | Turingin koneilla laskeminen 
4.3     | 4.1   | Turingin koneiden yhdistäminen 
4.4     | 4.1   | Esimerkkejä Turingin koneista
4.5     | 4.3   | Turingin koneen laajennuksia 
4.6     | 4.5   | Epädeterministiset Turingin koneet
------------------------------------------------
5.1     | 5.1   | Churchin teesi
*5.2    | 4.6   | Yleiset kieliopit
*5.3    | 4.7   | Primitiivirekursiiviset funktiot
***5.4  | -     | Gödel-numerointi
*5.5    | 4.7   | Mu-rekursiiviset funktiot
*5.6    | 4.7   | Mu-rekursiivisten funktioiden laskettavuus 
5.7     | 5.2   | Universaali Turingin kone
------------------------------------------------
6.1     | 5.3   | Pysähtymisongelma
6.2     | 5.7   | Turingin koneen hyväksymien kielten ominaisuuksia. 
6.3     | 5.4   | Turingin koneella ratkeamattomia ongelmia
6.4     | 5.5   | Kieliopillisesti ratkeamattomia ongelmia (kohdat
                  6.4.2 ja 6.4.3 poistuneet kokonan uudesta
                  painoksesta.)
6.5     | 5.6   | Tiilitysongelma
------------------------------------------------
7.1     | 6.1   | Ajallisesti rajoitetut Turingin koneet
7.4     | 6.1   | Ongelmaluokka P
7.5     | 7.1   | Ongelmaluokka NP
------------------------------------------------