J-triviaalsed monoidid ja tükiviisi testitavad keeled
Date
2020
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Tartu Ülikool
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.
Description
Keywords
bakalaureusetöö, monoidid, järjestatud hulgad, regulaarsed keeled