SUPERDETERMINISTIC PDAS - A SUBCASE WITH A DECIDABLE INCLUSION PROBLEM

被引：21

作者：

GREIBACH, SA

FRIEDMAN, EP

机构：

来源：

关键词：

D O I：

10.1145/322217.322224

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：675 / 700

页数：26

共 29 条

[1]

Bar-Hillel Yehoshua, 1961, SPRACHTYPOLOGIE UNIV, V14, P143

[2]

Beeri C., 1976, Theoretical Computer Science, V3, P305, DOI 10.1016/0304-3975(76)90049-9

[3]

CHANDLER WJ, 1969, TM73805200 SYST DEV

[4]

Chomsky N., 1959, INFORM CONTROL, V2, P137, DOI 10.1016/S0019-9958(59)90362-6

[5]

FRIEDMAN E, UNPUBLISHED

[6]

Friedman E. P., 1976, Theoretical Computer Science, V1, P297, DOI 10.1016/0304-3975(76)90074-8

FRIEDMAN, EP ;

GREIBACH, SA .

[8] BOUNDED ALGOL-LIKE LANGUAGES [J].

GINSBURG, S ;

SPANIER, EH .

[9] DETERMINISTIC CONTEXT FREE LANGUAGES [J].

GINSBURG, S ;

GREIBACH, S .

INFORMATION AND CONTROL, 1966, 9 (06) :620-&

[10]

GINSBURG S, 1968, MATH THEORY CONTEXT