Sirvi Autor "Tammemaa, Karolina" järgi

Tulemuste filtreerimiseks trükkige paar esimest tähte
Nüüd näidatakse 1 - 1 1
  • Pisipilt
    listelement.badge.dso-type Kirje ,
    J-triviaalsed monoidid ja tükiviisi testitavad keeled
    (Tartu Ülikool, 2020) Tammemaa, Karolina; Tart, Lauri, juhendaja; Tartu Ülikool. Matemaatika ja statistika instituut; Tartu Ülikool. Loodus- ja täppisteaduste valdkond
    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.