Input-driven pushdown automata (also known as visibly pushdown automata and as nested word automata) are a subclass of deterministic pushdown automata and a superclass of the parenthesis languages.
Mar 6, 2021
We introduce the class of event-clock visibly pushdown automata (ECVPAs) as an extension of event-clock automata. The class of ECVPAs, on one hand, ...
In this paper, inspired by the ideas of ECAs [3] and VPAs [4], we introduce the class of event-clock visibly pushdown automata (ECVPAs). The class of ECVPAs.
We introduce the class of event-clock visibly pushdown automata (ECVPAs) as an extension of event-clock automata. The class of ECVPAs, on one hand, ...
In this paper, inspired by the ideas of ECAs [3] and VPAs [4], we introduce the class of event-clock visibly pushdown automata (ECVPAs). The class of ECVPAs.
The class of ECVPAs can model simple real-time pushdown systems and is determinizable and closed under Boolean operations and it is shown that for a timed ...
Mar 9, 2021 · Input-driven pushdown automata (also known as visibly pushdown automata and as nested word automata) are a subclass of deterministic ...
notions of event-clock automata and visibly pushdown automata. Event-Clock Automata. Event-clock automata (ECA) [3] are a determinizable subclass of timed ...
Jun 29, 2022 · A timed extension of input-driven pushdown automata (also known as visibly pushdown automata and as nested word automata) under the event-clock ...
As for automata, we introduce Event-Clock Nested Automata (ECNA), a formalism that combines Event Clock Automata (ECA) and Visibly Pushdown Automata (VPA).