Discounted Properties of Probabilistic Pushdown Automata

被引：6
|
作者：
Brazdil, Tomas [1 ]
Brozek, Vaclav [1 ]
Holecek, Jan [1 ]
Kucera, Antonin [1 ]
机构：
[1] Masaryk Univ, Fac Informat, Brno 60200, Czech Republic
来源：
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS | 2008年 / 5330卷
关键词：
D O I：
10.1007/978-3-540-89439-1_17
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We show that several basic discounted properties of probabilistic pushdown automata related both to terminating and non-terminating runs can be efficiently approximated up to an arbitrarily small given precision.
引用
收藏
页码：230 / 242
页数：13
相关论文
共 50 条
  • [31] Fuzzy pushdown automata
    Xing, Hongyan
    FUZZY SETS AND SYSTEMS, 2007, 158 (13) : 1437 - 1449
  • [32] Reversible pushdown automata
    Kutrib, Martin
    Malcher, Andreas
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (06) : 1814 - 1827
  • [33] On the complexity of ω-pushdown automata
    Yusi LEI
    Fu SONG
    Wanwei LIU
    Min ZHANG
    ScienceChina(InformationSciences), 2017, 60 (11) : 156 - 170
  • [34] Deep pushdown automata
    Alexander Meduna
    Acta Informatica, 2006, 42 : 541 - 552
  • [35] Logic for ω-pushdown automata
    Droste, Manfred
    Dziadek, Sven
    Kuich, Werner
    INFORMATION AND COMPUTATION, 2022, 282
  • [36] Multiset Pushdown Automata
    Kudlek, Manfred
    Totzke, Patrick
    Zetzsche, Georg
    FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 221 - 233
  • [37] Quantum pushdown automata
    Qiu, DW
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2002, 41 (09) : 1627 - 1639
  • [38] Teams of pushdown automata
    Ter Beek, MH
    Csuhaj-Varjú, E
    Mitrana, V
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2004, 81 (02) : 141 - 156
  • [39] CONTROLLED PUSHDOWN AUTOMATA
    IBARRA, OH
    INFORMATION SCIENCES, 1973, 6 (04) : 327 - 342
  • [40] Synchronization of pushdown automata
    Caucal, Didier
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2006, 4036 : 120 - 132
12345