Abstract
We present a generic algorithm, generalizing partition refinement, for deciding behavioural equivalences for various types of transition systems. In order to achieve this generality, we work with coalgebra, which offers a general framework for modelling different types of state-based systems. The underlying idea of the algorithm is to work on the so-called final chain and to factor out redundant information. If the algorithm terminates, the result of the construction is a representative of the given coalgebra that is not necessarily unique and that allows to precisely answer questions about behavioural equivalence. We instantiate the algorithm to the particularly interesting case of weighted automata over semirings in order to obtain a procedure for checking language equivalence for a large number of semirings. We use fuzzy automata with weights from an l-monoid as a case study.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.