J-triviaalsed monoidid ja tükiviisi testitavad keeled
dc.contributor.advisor | Tart, Lauri, juhendaja | |
dc.contributor.author | Tammemaa, Karolina | |
dc.contributor.other | Tartu Ülikool. Matemaatika ja statistika instituut | et |
dc.contributor.other | Tartu Ülikool. Loodus- ja täppisteaduste valdkond | et |
dc.date.accessioned | 2020-08-10T09:12:10Z | |
dc.date.available | 2020-08-10T09:12:10Z | |
dc.date.issued | 2020 | |
dc.description.abstract | Bakalaureusetöös tutvustatakse lõplikke J-triviaalsed monoide ja näidatakse, et iga lõplik J-triviaalne monoid on sellise lõpliku järjestatud monoidi faktormonoid, mis rahuldab samasust x ≤ 1. Käsitletakse regulaarseid keeli ja näidatakse, et nad on tükiviisi testitavad parajasti siis, kui nende süntaktiline monoid on lõplik ja J-triviaalne. | et |
dc.identifier.uri | http://hdl.handle.net/10062/68609 | |
dc.language.iso | est | et |
dc.publisher | Tartu Ülikool | et |
dc.rights | openAccess | et |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | bakalaureusetöö | et |
dc.subject | monoidid | et |
dc.subject | järjestatud hulgad | et |
dc.subject | regulaarsed keeled | et |
dc.title | J-triviaalsed monoidid ja tükiviisi testitavad keeled | et |
dc.type | info:eu-repo/semantics/bachelorThesis | et |