Real-counter automata and their decision problems (extended abstract)

被引：0
|
作者：
Dang, Zhe [1 ]
Ibarra, Oscar H. [2 ]
San Pietro, Pierluigi [3 ]
Xie, Gaoyan [1 ]
机构：
[1] School of Electrical Engineering and Computer Science, Washington State University, Pullman, WA 99164, United States
[2] Department of Computer Science, University of California, Santa Barbara, CA 93106, United States
[3] Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004年 / 3328卷
关键词：
★ The research of Zhe Dang and Gaoyan Xie was supported in part by NSF Grant CCF-0430531. The research of Oscar H. Ibarra has been supported in part by by NSF Grants IIS-0101134; CCR-0208595; and CCF-0430945. The research of Pierluigi San Pietro has been supported in part by MIUR grants FIRB RBAU01MCAC; COFIN 2003012437-004. ★★ Corresponding author (zdang@eecs.wsu.edu);
D O I：
10.1007/978-3-540-30538-5_17
中图分类号：
学科分类号：
摘要：
28
引用
收藏
页码：198 / 210
相关论文
共 50 条
  • [31] Pushdown automata and multicounter machines, a comparison of computation modes - (Extended abstract)
    Hromkovic, J
    Schnitger, G
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2003, 2719 : 66 - 80
  • [32] Quantitative analysis of probabilistic pushdown automata: Expectations and variances - (Extended abstract)
    Esparza, J
    Kucera, A
    Mayr, R
    LICS 2005: 20TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - PROCEEDINGS, 2005, : 117 - 126
  • [33] Universality Issues in Reversible Computing Systems and Cellular Automata (Extended Abstract)
    Morita, Kenichi
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 253 (06) : 23 - 31
  • [34] Closure properties and decision problems of dag automata
    Anantharaman, S
    Narendram, P
    Rusinowitch, M
    INFORMATION PROCESSING LETTERS, 2005, 94 (05) : 231 - 240
  • [35] Decision Problems on Unary Probabilistic and Quantum Automata
    Hirvensalo, Mika
    Yakaryilmaz, Abuzer
    BALTIC JOURNAL OF MODERN COMPUTING, 2016, 4 (04): : 965 - 976
  • [36] DECISION-PROBLEMS FOR CELLULAR AUTOMATA AND THEIR SEMIGROUPS
    PEDERSEN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 629 : 421 - 429
  • [37] ApproxASP- A Scalable Approximate Answer Set Counter (Extended Abstract)
    Kabir, Mohimenul
    Everardo, Flavio
    Shukla, Ankit
    Fichte, Johannes K.
    Hecher, Markus
    Meel, Kuldeep S.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, 364
  • [38] COMPILING REAL-TIME SPECIFICATIONS INTO EXTENDED AUTOMATA
    NICOLLIN, X
    SIFAKIS, J
    YOVINE, S
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (09) : 794 - 804
  • [39] On Lookahead Hierarchies for Monotone and Deterministic Restarting Automata with Auxiliary Symbols (Extended Abstract)
    Schluter, Natalie
    DEVELOPMENTS IN LANGUAGE THEORY, 2010, 6224 : 440 - 441
  • [40] Nondeterministic Right One-Way Jumping Finite Automata (Extended Abstract)
    Beier, Simon
    Holzer, Markus
    DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2019, 2019, 11612 : 74 - 85
12345