Pushdown Automata Simulator

被引:1
|
作者
Hamada, Mohamed [1 ]
机构
[1] Univ Aizu, Languages Proc Lab, Fukushima, Japan
关键词
D O I
10.1007/978-3-642-03364-3_41
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
This paper introduces a pushdown automata simulator as a component of our evolving integrated virtual environment project for learning computational models and automata theory. The twofold contribution of this work is a novel Use of modern technology to improve learning and a longitudinal quasi-experimental evaluation of its use in context.
引用
收藏
页码:328 / 338
页数:11
相关论文
共 50 条
  • [1] On probabilistic pushdown automata
    Hromkovic, Juraj
    Schnitger, Georg
    [J]. INFORMATION AND COMPUTATION, 2010, 208 (08) : 982 - 995
  • [2] Quantum Pushdown Automata
    Daowen Qiu
    [J]. International Journal of Theoretical Physics, 2002, 41 : 1627 - 1639
  • [3] On the complexity of ω-pushdown automata
    Lei, Yusi
    Song, Fu
    Liu, Wanwei
    Zhang, Min
    [J]. SCIENCE CHINA-INFORMATION SCIENCES, 2017, 60 (11)
  • [4] Reversible Pushdown Automata
    Kutrib, Martin
    Malcher, Andreas
    [J]. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2010, 6031 : 368 - 379
  • [5] Quantum pushdown automata
    Golovkins, M
    [J]. SOFSEM 2000: THEORY AND PRACTICE OF INFORMATICS, 2000, 1963 : 336 - 346
  • [6] On the complexity of ω-pushdown automata
    Yusi Lei
    Fu Song
    Wanwei Liu
    Min Zhang
    [J]. Science China Information Sciences, 2017, 60
  • [7] Fuzzy pushdown automata
    Xing, Hongyan
    [J]. FUZZY SETS AND SYSTEMS, 2007, 158 (13) : 1437 - 1449
  • [8] Fairness in pushdown automata
    Mihoubi, Douadi
    [J]. BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2011, 18 (03) : 557 - 569
  • [9] Teams of pushdown automata
    ter Beek, MH
    Csuhaj-Varjú, E
    Mitrana, V
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 329 - 337
  • [10] On the complexity of ω-pushdown automata
    Yusi LEI
    Fu SONG
    Wanwei LIU
    Min ZHANG
    [J]. Science China(Information Sciences), 2017, 60 (11) : 156 - 170