Scope-Bounded Pushdown Languages
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE(2016)
摘要
We study the formal language theory of multistack pushdown automata (MPA) restricted to computations where a symbol can be popped from a stack S only if it was pushed within a bounded number of contexts of S (scope MPA). We show that scoped MPA are indeed a robust model of computation, by focusing on the corresponding theory of visibly MPA (MVPA). We prove the equivalence of the deterministic and nondeterministic versions and show that scope -bounded computations of an n-stack MVPA can be simulated, rearranging the input word, by using only one stack. These results have some interesting consequences, such as, the closure under complement, the decidability of universality, inclusion and equality, and the effective semilinearity of the Parikh image (Parikh's theorem). As a further contribution, we give a logical characterization and compare the expressiveness of the scope-bounded restriction with other MVPA classes from the literature. To the best of our knowledge, scoped MVPA languages form the largest class of formal languages accepted by MPA that enjoys all the above nice properties.
更多查看译文
关键词
Language theory and automata, models of concurrent systems, multistack pushdown automata, visibly pushdown automata
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络