openalexAxioms2026-07-23
Approximating Heterotypic Bisimulations for Weighted Finite Automata over the Field of Real Numbers
Predrag S. Stanimirović, Miroslav Ćirić, Darjan Karabašević, Dimitrios Gerontitis
This paper examines the existence and approximation of bisimulations between weighted finite automata (WFAs) over the real numbers. It shows that forward–backward bisimulation (fbb) and backward–forward bisimulation (bfb) between two WFAs are equivalent to solving specific homoge…