Zpět na vyhledávání

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 …more
Abstract:
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 …more
 

Keywords

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.

Citation record

Cite this text

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á fakulta
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Science

Master programme / field:
Mathematics / Algebra and Discrete Mathematics

Theses on a related topic

List of theses with an identical keyword.