Fairness in pushdown automata

被引：0
|
作者：
Mihoubi, Douadi [1 ]
机构：
[1] Univ Msila, Dept Math, LMPA, Msila 28000, Algeria
来源：
BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN | 2011年 / 18卷 / 03期
关键词：
LANGUAGES;
D O I：
10.36045/bbms/1313604458
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We study the behaviors of one turn pushdown automata using the notions of fairness defined by L. Priese et al. in [10], as conditions of acceptance. We show in particular that these notions are simulable by the modes of acceptance of J. R. Buchi and D. Muller.
引用
收藏
页码：557 / 569
页数：13
相关论文
共 50 条
  • [1] Quantum Pushdown Automata
    Daowen Qiu
    International Journal of Theoretical Physics, 2002, 41 : 1627 - 1639
  • [2] On probabilistic pushdown automata
    Hromkovic, Juraj
    Schnitger, Georg
    INFORMATION AND COMPUTATION, 2010, 208 (08) : 982 - 995
  • [3] On the complexity of ω-pushdown automata
    Lei, Yusi
    Song, Fu
    Liu, Wanwei
    Zhang, Min
    SCIENCE CHINA-INFORMATION SCIENCES, 2017, 60 (11)
  • [4] Reversible Pushdown Automata
    Kutrib, Martin
    Malcher, Andreas
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2010, 6031 : 368 - 379
  • [5] Quantum pushdown automata
    Golovkins, M
    SOFSEM 2000: THEORY AND PRACTICE OF INFORMATICS, 2000, 1963 : 336 - 346
  • [6] Teams of pushdown automata
    ter Beek, MH
    Csuhaj-Varjú, E
    Mitrana, V
    PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 329 - 337
  • [7] Pushdown Automata Simulator
    Hamada, Mohamed
    LEARNING BY PLAYING: GAME-BASED EDUCATION SYSTEM DESIGN AND DEVELOPMENT, 2009, 5670 : 328 - 338
  • [8] On the complexity of ω-pushdown automata
    Yusi Lei
    Fu Song
    Wanwei Liu
    Min Zhang
    Science China Information Sciences, 2017, 60
  • [9] Fuzzy pushdown automata
    Xing, Hongyan
    FUZZY SETS AND SYSTEMS, 2007, 158 (13) : 1437 - 1449
  • [10] Reversible pushdown automata
    Kutrib, Martin
    Malcher, Andreas
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (06) : 1814 - 1827
12345