Showing 2022Show all
2 papers · 1 filter
cs.FL2022
Active Learning for Deterministic Bottom-up Nominal Tree Automata
R. Nakanishi, Y. Takata, H. Seki
Nominal set plays a central role in a group-theoretic extension of finite automata to those over an infinite set of data values. Moerman et al. proposed an active learning algorith…
cs.FL2022
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking
Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki
Pushdown systems (PDS) are known as an abstract model of recursive programs, and model checking methods for PDS have been studied. Register PDS (RPDS) are PDS augmented by register…