Dynamic Logic Assigned to Automata
| Autoři | |
|---|---|
| Rok publikování | 2017 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | International Journal of Theoretical Physics |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | https://link.springer.com/article/10.1007/s10773-017-3311-0 |
| Doi | https://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: |