ویراساینس.
مقاله‌ی دسترسی آزاد

Ordered multi-stack visibly pushdown automata

DarioCarotenuto, AnielloMurano, AdrianoPeron

چکیده

چکیده‌ای برای این سند ثبت نشده است.

اسناد مشابه

  • On the Expressive Power of 2-Stack Visibly Pushdown Automata

    سند علمی۲۰۰۸Logical Methods in Computer ScienceBenedikt Bollig

    Visibly pushdown automata are input-driven pushdown automata that recognize some non-regular context-free languages while preserving the nice closure and decidability properties of finite automata. Visibly pushdown automata with multiple stacks have been considered recently by La

  • Infinite games recognized by 2-stack visibly pushdown automata

    سند علمی۲۰۱۵Wenjuan Li, Shohei Okisaka, Kazuyuki Tanaka

    Two-player infinite games have been extensively studied in Descriptive Set Theory in the past several decades, accompanied by a celebrated result due to Martin that all Gale-Stewart games with Borel winning conditions are determined. In this paper, we are interested in the follow

  • Ramsey-Based Inclusion Checking for Dense-Stack Visibly Pushdown Automata

    سند علمی۲۰۱۶Devendra Bhave, Ramchandra Phawade

    Visibly pushdown automata are popular as they are closed under Boolean operations and determinization. There exist multiple notions of timed pushdown systems like recursive timed automata, densetime pushdown automata. We explore a generalization of visibly pushdown automata over

  • On Multi-stack Visibly Pushdown Languages

    سند علمی۲۰۱۳Salvatore La Torre, Margherita Napoli, Gennaro Parlato

    We contribute to the theory of formal languages of visibly multistack pushdown automata (Mvpa). First, we show closure under the main operations and decidability of the main decision problems for the class of Mvpa restricted to computations where a symbol can be popped from a sta

  • A Logical Characterization for Dense-Time Visibly Pushdown Automata

    سند علمی۲۰۱۶LATADevendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade

    Two of the most celebrated results that effectively exploit visual representation to give logical characterization and decidable modelchecking include visibly pushdown automata (VPA) by Alur and Madhusudan and event-clock automata (ECA) by Alur, Fix and Henzinger. VPA and ECA—by

  • Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation

    سند علمی۲۰۰۶CSLJirí Srba

    We investigate the possibility of (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basic Process Algebra) and visibly one-counter automata. We describe generic methods for proving complexity upper