Showing cs.FLShow all
2 papers · 1 filter
cs.FL2011
Nondeterministic automata: equivalence, bisimulations, and uniform relations
Miroslav Ćirić, Jelena Ignjatović, Milan Bašić +1
In this paper we study the equivalence of nondeterministic automata pairing the concept of a bisimulation with the recently introduced concept of a uniform relation. In this symbio…
cs.FL2011
Bisimulations for fuzzy automata
Miroslav Ćirić, Jelena Ignjatović, Nada Damljanović +1
Bisimulations have been widely used in many areas of computer science to model equivalence between various systems, and to reduce the number of states of these systems, whereas uni…