ONE-WAY GLOBALLY DETERMINISTIC SYNCHRONIZED ALTERNATING FINITE AUTOMATA RECOGNIZE EXACTLY DETERMINISTIC CONTEXT-SENSITIVE LANGUAGES

被引:3
|
作者
SLOBODOVA, A
机构
[1] Department of Computer Science, Comenius University
关键词
Computational complexity; formal languages; synchronized alternation;
D O I
10.1016/0020-0190(90)90099-J
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
[No abstract available]
引用
收藏
页码:69 / 72
页数:4
相关论文
共 26 条