Dynamic Logic Assigned to Automata

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

CHAJDA Ivan PASEKA Jan

Rok publikování 2017
Druh Článek v odborném periodiku
Časopis / Zdroj International Journal of Theoretical Physics
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www https://link.springer.com/article/10.1007/s10773-017-3311-0
Doi http://dx.doi.org/10.1007/s10773-017-3311-0
Obor Obecná matematika
Klíčová slova Dynamic logic; Automaton; State-transition relation; Transition functor; Modal functor
Popis A dynamic logic B can be assigned to every automaton without regard if is deterministic or nondeterministic. This logic enables us to formulate observations on in the form of composed propositions and, due to a transition functor T, it captures the dynamic behaviour of. There are formulated conditions under which the automaton can be recovered by means of B and T.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.