Meno: | Martin
|
---|
Priezvisko: | Pašen
|
---|
Názov: | Supplementary Information and Nondeterministic Finite Automata
|
---|
Vedúci: | prof. RNDr. Branislav Rovan PhD.
|
---|
Rok: | 2020
|
---|
Kľúčové slová: | usefulness of supplementary information, family defined by advice, informational power, nondeterministic finite automaton
|
---|
Abstrakt: | The core concept of this thesis is the usefulness of information. For a formal background of research we use the theory of formal languages. The thesis is focused on regular languages and we define usefulness as a binary relation on regular languages. We choose nondeterministic finite automaton for our computational model. We examine properties of usefulness as a relation. We present closure properties of families defined by advice (family of languages, which can be simplified using fixed advice). We also examine the informational power of supplementary information and possible relations of two languages providing supplementary information.
|
---|