J-triviaalsed monoidid ja tükiviisi testitavad keeled

Kuupäev

2020

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

Viide