Bc. Radka Penčevová
Master's thesis
Konjugovanost sofických posunů
Conjugacy of sofic shifts
Abstract:
Tato diplomová práce se zabývá izomorfismem, neboli konjugovaností, jistých specifických množin nekonečných slov, kterým říkáme sofické posuny. Ty lze reprezentovat konečnými automaty. Ukazuje se zde podmínka pro matice kanonických automatů, jež je ekvivalentní konjugovanosti posunů těmito automaty rozpoznaných. Následně předvádí jeden z invariantů konjugovanosti, takzvaný syntaktický graf. Text je …moreAbstract:
This diploma thesis focuses on conjugacy of a special kind of sets of infinite words that are representable by finite automata. These sets are called sofic shifts. Such a condition for matrices of canonical automata is shown, that is equivalent to conjugacy of shifts recognized by these automata. Afterwards an invariant for conjugacy, so called syntactic graph, is presented. The text is structured …moreKeywords
Sofický posun posun konečného typu ireducibilní posun konjugovanost minimální automat Kriegerův automat bipartitní kód silná ekvivalence syntaktický graf sofic shift shift of finite type irreducible shift conjugacy minimal automaton Krieger automaton bipartite code strong equivalence syntactic graph
Language used: Czech
Date on which the thesis was submitted / produced: 13. 5. 2015
Identifier:
https://is.muni.cz/th/j59kt/
Thesis defence
- Date of defence: 16. 6. 2015
- Supervisor: doc. Mgr. Michal Kunc, Ph.D.
- Reader: doc. RNDr. Libor Polák, CSc.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Přírodovědecká fakultaMasaryk University
Faculty of ScienceMaster programme / field:
Mathematics / Algebra and Discrete Mathematics