Název:
Rough Sets on State Spaces of Automata
Autoři:
Staněk, David Typ dokumentu: Příspěvky z konference
Jazyk:
eng
Nakladatel: Vysoké učení technické v Brně, Fakulta elektrotechniky a komunikačních technologií
Abstrakt:
This paper discussed a subclass of finite automata, which have ordering on the state sets created by a transition (or next-state) function. Hence, there do not exist cycles of more than one element. We discuss a relation of equality of upper closure on the systems of all subsets of state systems of quasi-automata, which creates an equivalence.
Klíčová slova:
equivalence; Iterations; Kuratowski-Whyburn equivalence; monoid; quasi-automaton; upper closure Zdrojový dokument: Proceedings of the 22nd Conference STUDENT EEICT 2016, ISBN 978-80-214-5350-0
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/84033