Search
Now showing items 1-2 of 2
Variety určené krátkými identitami
Varieties determined by short identities
diploma thesis (DEFENDED)
Advisor: Ježek, Jaroslav
Date Issued: 2007
Date of defense: 20. 09. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato práce se zabývá hledáním volných algeber nad spočetnou množinou proměnných ve varietách grupoidů určených identitou tvaru x = t, kde t je term délky 5. K tomuto účelu je použita metoda přepisujících systémů. Práce ...
This paper deals with searching for free algebras over the countable infinite set of variables in varieties determined by identity of form x = t, where t is term of length 5. Notion of rewriting system is introduced and ...
This paper deals with searching for free algebras over the countable infinite set of variables in varieties determined by identity of form x = t, where t is term of length 5. Notion of rewriting system is introduced and ...
Binární ekvivalenční slova
Binary equality words
diploma thesis (DEFENDED)
Advisor: Holub, Štěpán
Date Issued: 2007
Date of defense: 08. 02. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Binary equality language is a set consisting of all solutions of equation g(w) = h(w), where g, h are arbitrary binary morphisms. Recently, it has been prooved that equality set for each pair of morphisms g, h is generated ...
Binární ekvivalenční jazyk pro homomorfismy g, h je množina všech řešení rovnice g (w) = h(w). Je dokázáno, že tato množina je generována maximálně dvěma slovy. Struktura binárního ekvivalečního jazyka je známa v případě, ...
Binární ekvivalenční jazyk pro homomorfismy g, h je množina všech řešení rovnice g (w) = h(w). Je dokázáno, že tato množina je generována maximálně dvěma slovy. Struktura binárního ekvivalečního jazyka je známa v případě, ...