Context free grammar and the infinite-state automaton

被引：0
|
作者：
Lu, Yingzhi [1 ]
机构：
[1] Tsinghua Univ, Beijing, China
来源：
Tien Tzu Hsueh Pao/Acta Electronica Sinica | 1996年 / 24卷 / 08期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：23 / 27
相关论文
共 50 条
  • [31] Parameterized verification of infinite-state processes with global conditions
    Abdulla, Parosh Aziz
    Delzanno, Giorgio
    Rezine, Ahmed
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 145 - +
  • [32] Synthesis of infinite-state abstractions and their use for software validation
    1600, Springer Verlag (8373):
  • [33] Languages, rewriting systems, and verification of infinite-state systems
    Bouajjani, A
    AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 24 - 39
  • [34] Theorem-proving anonymity of infinite-state systems
    Kawabe, Yoshinobu
    Mano, Ken
    Sakurada, Hideki
    Tsukada, Yasuyuki
    INFORMATION PROCESSING LETTERS, 2007, 101 (01) : 46 - 51
  • [35] A Decidability Result for the Model Checking of Infinite-State Systems
    Daniele Zucchelli
    Enrica Nicolini
    Journal of Automated Reasoning, 2012, 48 : 1 - 42
  • [36] Decidability of model checking for infinite-state concurrent systems
    Javier Esparza
    Acta Informatica, 1997, 34 : 85 - 107
  • [37] Empirically efficient verification for a class of infinite-state systems
    Bingham, J
    Hu, AJ
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 77 - 92
  • [38] The infinite-state Potts model and solid partitions of an integer
    Huang, HY
    Wu, FY
    INTERNATIONAL JOURNAL OF MODERN PHYSICS B, 1997, 11 (1-2): : 121 - 126
  • [39] INFINITE-STATE SPECTRUM MODEL FOR MUSIC SIGNAL ANALYSIS
    Nakano, Masahiro
    Le Roux, Jonathan
    Kameoka, Hirokazu
    Ono, Nobutaka
    Sagayama, Shigeki
    2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, 2011, : 1972 - 1975
  • [40] MULTI-TAPE AND INFINITE-STATE AUTOMATA - A SURVEY
    FISCHER, PC
    COMMUNICATIONS OF THE ACM, 1965, 8 (12) : 799 - &
12345