Hyppää sisältöön
    • Suomeksi
    • In English
Trepo
  • Suomeksi
  • In English
  • Kirjaudu
Näytä viite 
  •   Etusivu
  • Trepo
  • Opinnäytteet - ylempi korkeakoulututkinto
  • Näytä viite
  •   Etusivu
  • Trepo
  • Opinnäytteet - ylempi korkeakoulututkinto
  • Näytä viite
JavaScript is disabled for your browser. Some features of this site may not work without it.

Büchin automaateista

Kumpulainen, Lauri (2017)

 
Avaa tiedosto
gradu07358.pdf (317.8Kt)
Lataukset: 



Kumpulainen, Lauri
2017

Tietojenkäsittelytieteiden tutkinto-ohjelma - Degree Programme in Computer Sciences
Luonnontieteiden tiedekunta - Faculty of Natural 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
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://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.
Kokoelmat
  • Opinnäytteet - ylempi korkeakoulututkinto [36347]
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Tietosuoja | Saavutettavuusseloste
 

 

Selaa kokoelmaa

TekijätNimekkeetTiedekunta (2019 -)Tiedekunta (- 2018)Tutkinto-ohjelmat ja opintosuunnatAvainsanatJulkaisuajatKokoelmat

Omat tiedot

Kirjaudu sisäänRekisteröidy
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Tietosuoja | Saavutettavuusseloste