Automaattien synkronisaatiosta
| dc.contributor | Matemaattis-luonnontieteellinen tiedekunta / Faculty of Mathematics and Natural Sciences, Matematiikan ja tilastotieteen laitos. Matematiikka | - |
| dc.contributor.author | Kopra, Johan | |
| dc.contributor.department | fi=Matematiikan ja tilastotieteen laitos|en=Department of Mathematics and Statistics| | |
| dc.contributor.faculty | fi=Matemaattis-luonnontieteellinen tiedekunta|en=Faculty of Mathematics and Natural Sciences| | - |
| dc.contributor.studysubject | fi=Matematiikka|en=Mathematics| | |
| dc.date.accessioned | 2015-08-12T05:24:18Z | |
| dc.date.available | 2015-08-12T05:24:18Z | |
| dc.date.issued | 2015-04 | |
| dc.description.abstract | Tässä tutkielmassa tarkastellaan eräitä synkronisoituviin automaatteihin liittyviä ongelmia. Pääpaino on Černýn konjektuurissa ja tienväritysongelmassa, joiden lisäksi käsitellään myös hybridikonjektuuria. Černýn konjektuuri on otaksuma, jonka mukaan jokainen synkronisoituva n-tilainen automaatti voidaan synkronisoida enintään pituutta (n − 1)2 olevalla sanalla. Ongelma on ollut avoin 1970-luvulta asti, mutta useita osatuloksia on todistettu. Tutkielmassa esitetään niistä tärkeimmät. Tienväritysongelma koskee sitä, millaisista suunnatuista graafeista voidaan muodostaa synkronisoituvia automaatteja. Vuonna 2009 todistetun tienvärityslauseen mukaan synkronisoituvia automaatteja voidaan muodostaa ns. primitiivisistä graafeista. Tutkielmassa esitetään tienvärityslauseen todistus. Hybridikonjektuuri on vuonna 2010 esitetty otaksuma, jossa on yhdistetty elementtejä Černýn konjektuurista ja tienvärityslauseesta. Hybridikonjektuurin mukaan jokaisesta n solmua sisältävästä primitiivisestä graafista voidaan muodostaa synkronisoituva automaatti, jonka lyhimmän synkronisoivan sanan pituus on enintään n 2 − 3n + 3. Tutkielmassa esitetään tunnettuja osatuloksia sekä johdetaan uusi alaraja Eulerin graafeille. | - |
| dc.description.notification | Siirretty Doriasta | |
| dc.format.content | fulltext | |
| dc.identifier.olddbid | 127548 | |
| dc.identifier.oldhandle | 10024/113099 | |
| dc.identifier.uri | https://www.utupub.fi/handle/11111/17226 | |
| dc.identifier.urn | URN:NBN:fi-fe2015081210928 | - |
| dc.language.iso | fin | - |
| dc.publisher | fi=Turun yliopisto|en=University of Turku| | |
| dc.rights.accessrights | avoin | |
| dc.source.identifier | https://www.utupub.fi/handle/10024/113099 | |
| dc.title | Automaattien synkronisaatiosta | - |
| dc.type.ontasot | fi=Pro gradu -tutkielma|en=Master's thesis| |
Tiedostot
1 - 1 / 1