Hledat
Zobrazují se záznamy 1-2 z 2
Variety určené krátkými identitami
Varieties determined by short identities
Diplomová práce (OBHÁJENO)
Vedoucí práce: Ježek, Jaroslav
Datum publikování: 2007
Datum obhajoby: 20. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Diplomová práce (OBHÁJENO)
Vedoucí práce: Holub, Štěpán
Datum publikování: 2007
Datum obhajoby: 08. 02. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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ě, ...