Games on Multi-stack Pushdown Systems

被引：7
|
作者：
Seth, Anil [1 ]
机构：
[1] Indian Inst Technol, Dept Comp Sci & Engn, Kanpur 208016, Uttar Pradesh, India
来源：
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE | 2009年 / 5407卷
关键词：
D O I：
10.1007/978-3-540-92687-0_27
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Bounded phase multi-stack pushdown automata have been studied recently. In this paper we show that parity games over bounded phase multi-stack pushdown systems are effectively solvable and winning strategy in these games can be effectively synthesized. We show some applications of our result, including a new proof of a known result that emptiness problem for bounded phase multi-stack automata is decidable.
引用
收藏
页码：395 / 408
页数：14
相关论文
共 50 条
  • [1] Games on Higher Order Multi-stack Pushdown Systems
    Seth, Anil
    REACHABILITY PROBLEMS, PROCEEDINGS, 2009, 5797 : 203 - 216
  • [2] Global Reachability in Bounded Phase Multi-stack Pushdown Systems
    Seth, Anil
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 615 - 628
  • [3] Ordered multi-stack visibly pushdown automata
    Carotenuto, Dario
    Murano, Aniello
    Peron, Adriano
    THEORETICAL COMPUTER SCIENCE, 2016, 656 : 1 - 26
  • [4] UNRESTRICTED AND DISJOINT OPERATIONS OVER MULTI-STACK VISIBLY PUSHDOWN LANGUAGES
    Bruda, Stefan D.
    Bin Waez, Tawhid
    ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, 2011, : 156 - 161
  • [5] Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata
    Limaye, Nutan
    Mahajan, Meena
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2009, 5457 : 493 - 504
  • [6] Context-Free Ambiguity Detection Using Multi-stack Pushdown Automata
    Basten, H. J. S.
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016, 2016, 9840 : 1 - 12
  • [7] The Complexity of Model Checking Multi-Stack Systems
    Benedikt Bollig
    Dietrich Kuske
    Roy Mennicke
    Theory of Computing Systems, 2017, 60 : 695 - 736
  • [8] The Complexity of Model Checking Multi-Stack Systems
    Bollig, Benedikt
    Kuske, Dietrich
    Mennicke, Roy
    2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 163 - 172
  • [9] The Complexity of Model Checking Multi-Stack Systems
    Bollig, Benedikt
    Kuske, Dietrich
    Mennicke, Roy
    THEORY OF COMPUTING SYSTEMS, 2017, 60 (04) : 695 - 736
  • [10] Effects of Multi-stack Ball Grid Array on Multi-stack Printed Circuit Board
    Mukhtar, M. A. F. M.
    Abas, A.
    Bahri, W. M. E. I. W. S.
    INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN INDUSTRIAL ENGINEERING AND MANUFACTURING, 2019, 530
12345