共 50 条
- [21] MULTI-HEADED ONE-WAY AUTOMATA NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (04): : A444 - A444
- [22] Zero-Reachability in Probabilistic Multi-Counter Automata PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
- [24] Deterministic One-Way Simulation of Two-Way Deterministic Finite Automata over Small Alphabets DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, 2021, 13037 : 26 - 37
- [25] ON ONE-WAY 2-HEAD DETERMINISTIC FINITE STATE AUTOMATA COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1985, 4 (06): : 503 - 526
- [26] Some observations on one-way alternating pushdown automata with sublinear space IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2004, E87A (05): : 1012 - 1019
- [27] Learning Realtime One-Counter Automata TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I, 2022, 13243 : 244 - 262