Epäuniformien soluautomaattien surjektiivisuus- ja injektiivisyysominaisuuksia

Tietueen suppeat tiedot
dc.contributor.authorPaturi, Pyry
dc.contributor.departmentfi=Matematiikan ja tilastotieteen laitos|en=Department of Mathematics and Statistics|
dc.contributor.facultyfi=Matemaattis-luonnontieteellinen tiedekunta|en=Faculty of Science|
dc.contributor.studysubjectfi=Matematiikka|en=Mathematics|
dc.date.accessioned2022-10-12T21:01:59Z
dc.date.available2022-10-12T21:01:59Z
dc.date.issued2022-10-06
dc.description.abstractTämä työ koostuu kirjallisuuskatsauksesta tavallisiin ja epäuniformeihin soluautomaatteihin, sekä rajoitetun Eedenin puutarhalauseen todistuksesta epäuniformeille soluautomaateille. Työn ensimmäisessä osiossa tarkastellaan tavallisia soluautomaatteja. Esitetään näiden perusominaisuuksia, ja todistetaan Eedenin puutarhalause. Seuraavassa osassa tarkastellaan epäuniformeja soluautomaatteja. Surjektiivisten sääntöjakaumien joukon osoitetaan olevan siirtoavaruus, ja injektiivisten sääntöjakaumien joukon olevan ωω-säännöllinen. Lisäksi näytetään, että Eedenin puutarhalause ei päde epäuniformeille soluautomaateille yleisesti, mutta päteen periodisten sääntöjakaumien tapauksessa. Viimeisessä osiossa tarkastellaan epäuniformeja soluautomaatien rekurrentteja sääntöjakaumia. Erityisesti todistetaan, että Eedenin puutarhalause pätee rekurrenteille sääntöjaumille. Lisäksi esitetään vastaesimerkit ei-rekurrenteille sääntöjakaumille.
dc.format.extent37
dc.identifier.olddbid171675
dc.identifier.oldhandle10024/154774
dc.identifier.urihttps://www.utupub.fi/handle/11111/14172
dc.identifier.urnURN:NBN:fi-fe2022101261756
dc.language.isofin
dc.rightsfi=Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty.|en=This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.|
dc.rights.accessrightsavoin
dc.source.identifierhttps://www.utupub.fi/handle/10024/154774
dc.subjectsoluautomaatit, Eedenin puutarha
dc.titleEpäuniformien soluautomaattien surjektiivisuus- ja injektiivisyysominaisuuksia
dc.type.ontasotfi=Pro gradu -tutkielma|en=Master's thesis|

Tiedostot

Näytetään 1 - 1 / 1
Name:
Mattil_tutkielma-utf8.pdf
Size:
501.65 KB
Format:
Adobe Portable Document Format
Lataa

Kokoelmat

Pro gradu -tutkielmat ja diplomityöt sekä syventävien opintojen opinnäytetyöt (kokotekstit)