Tart, Lauri, juhendajaTammemaa, KarolinaTartu Ülikool. Matemaatika ja statistika instituutTartu Ülikool. Loodus- ja täppisteaduste valdkond2020-08-102020-08-102020http://hdl.handle.net/10062/68609Bakalaureusetöö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.estopenAccessAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/bakalaureusetöömonoididjärjestatud hulgadregulaarsed keeledinfo:eu-repo/semantics/bachelorThesis