On Timed Scope-bounded Context-sensitive Languages
Formal Languages and Automata Theory
2019-05-28 v1
Abstract
In (DLT 2016) we studied timed context sensitive languages characterized by multiple stack push down automata (MPA), with an explicit bound on number of stages where in each stage at most one stack is used (k-round MPA). In this paper, we continue our work on timed MPA and study a subclass in which a symbol corresponding to a stack being pushed in it must be popped within fixed number of contexts of that stack---scope-bounded push-down automata with multiple stacks (k-scope MPA). We use Visibly Push-down Alphabet and Event Clocks to show that timed k-scope MPA have decidable reachability problem; are closed under Boolean operations; and have an equivalent logical characterization.
Keywords
Cite
@article{arxiv.1905.11125,
title = {On Timed Scope-bounded Context-sensitive Languages},
author = {Devendra. Bhave and S. N. Krishna and Ramchandra Phawade and Ashutosh Trivedi},
journal= {arXiv preprint arXiv:1905.11125},
year = {2019}
}