J-triviaalsed monoidid ja tükiviisi testitavad keeled
Kuupäev
2020
Autorid
Ajakirja pealkiri
Ajakirja ISSN
Köite pealkiri
Kirjastaja
Tartu Ülikool
Abstrakt
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.
Kirjeldus
Märksõnad
bakalaureusetöö, monoidid, järjestatud hulgad, regulaarsed keeled