Büchin automaateista
Kumpulainen, Lauri (2017)
2017
Tietojenkäsittelytieteiden tutkinto-ohjelma - Degree Programme in Computer Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Hyväksymispäivämäärä
2017-04-12
Julkaisun pysyvä osoite on
http://urn.fi/URN:NBN:fi:uta-201704201454
http://urn.fi/URN:NBN:fi:uta-201704201454
Kuvaus
Valinnaisten opintojen tutkielma
Tiivistelmä
Tutkielma käsittelee Büchin automaatteja. Ensiksi esitetään aakkostot, merkkijonot ja kielet, jonka jälkeen edetään deterministiseen ja epädeterministiseen äärelliseen automaattin. Osoitetaan, että näiden ilmaisuvoima on sama, ja todistetaan Kleenen lause äärelliselle automaatille. Sen jälkeen esitetään äärettömät merkkijonot, ω-säännölliset kielet, deterministien Büchin automaatti ja epädeterministinen Büchin automaatti. Lopuksi osoitetaan Kleenen lause Büchin automaatille ja että deterministisen Büchin automaatin ilmaisuvoima on aidosti heikompi kuin epädeterministisen Büchin automaatin.