首页> 外文OA文献 >Some Hierarchy Results of Alternating Automata with Counters and Stack-Counters

【2h】

Some Hierarchy Results of Alternating Automata with Counters and Stack-Counters

机译：带有计数器和堆栈计数器的交替自动机的一些层次结构结果

页面导航

著录项
相似文献
相关主题

著录项

作者
Yoshinaga Tsunehiro; Inoue Katsushi; Takanami Itsuo;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. SPACE HIERARCHIES OF TWO-DIMENSIONAL ALTERNATING TURING MACHINES, PUSHDOWN AUTOMATA AND COUNTER AUTOMATA [J] . TOKIO OKAZAKI, KATSUSHI INOUE, AKIRA ITO International Journal of Pattern Recognition and Artificial Intelligence . 1999,第4期

机译：二维交替图灵机的空间层次，推送自动和计数器自动
2. CLOSURE PROPERTY OF SPACE-BOUNDED TWO-DIMENSIONAL ALTERNATING TURING MACHINES, PUSHDOWN AUTOMATA, AND COUNTER AUTOMATA [J] . TOKIO OKAZAKI, KATSUSHI INOUE, AKIRA ITO International Journal of Pattern Recognition and Artificial Intelligence . 2001,第7期

机译：空间绑定二维交替图文机，按下自动机和计数器自动机的关闭特性
3. A Note on Realtime One-Way alternating and Deterministic Mulit-Counter Automata [J] . Tsunehiro Yoshinaga, Katsushi Inoue IEICE Transactions on Information and Systems . 2002,第2期

机译：关于实时单向交替和确定性多计数器自动机的注记
4. Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata [C] . Jacques Duparc, Alessandro Facchini, Filip Murlak International Workshop on Computer Science Logic . 2009

机译：线性游戏自动机：剥离交替树自动机的可判定层次问题
5. Verification algorithms based on alternating automata. [D] . Finkbeiner, Bernd Erhard. 2003

机译：基于交替自动机的验证算法。
6. Dynamic and Quantitative Method of Analyzing Service Consistency Evolution Based on Extended Hierarchical Finite State Automata [O] . Linjun Fan, Jun Tang, Yunxiang Ling, -1

机译：基于扩展层次有限状态自动机的服务一致性演化动态定量分析方法
7. The equivalence of stack-counter acceptors and quasi-realtime stack-counter acceptors [O] . Ginsburg Seymour, Rose Gene F. 1974

机译：堆栈计数器接受器和准实时堆栈计数器接受器的等效

Some Hierarchy Results of Alternating Automata with Counters and Stack-Counters

著录项

相似文献

相关主题

期刊订阅