2 papers
cs.FL2024
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata
Yoshiaki Takata, Akira Onishi, Ryoma Senda +1
Register automaton (RA) is an extension of finite automaton for dealing with data values in an infinite domain. In the previous work, we proposed disjunctive mu-calcul…
cs.FL2024
Semidirect Product Decompositions for Periodic Regular Languages
Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
The definition of period in finite-state Markov chains can be extended to regular languages by considering the transitions of DFAs accepting them. For example, the language $(ΣΣ)^*…