ON TOTAL REGULATORS GENERATED BY DERIVATION RELATIONS

被引：13

作者：

BUCHER, W

EHRENFEUCHT, A

HAUSSLER, D

机构：

[1] UNIV COLORADO,DEPT COMP SCI,BOULDER,CO 80302

[2] UNIV DENVER,DEPT MATH & COMP SCI,DENVER,CO 80208

来源：

THEORETICAL COMPUTER SCIENCE | 1985年 / 40卷 / 2-3期

关键词：

D O I：

10.1016/0304-3975(85)90162-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：131 / 148

页数：18

共 13 条

[1]

AUTEBERT JM, 1979, RAIRO-INF THEOR APPL, V13, P363

[2] ON EXTENDIBILITY OF UNAVOIDABLE SETS [J].

CHOFFRUT, C ;

CULIK, K .

DISCRETE APPLIED MATHEMATICS, 1984, 9 (02) :125-137

[3]

CONWAY JH, 1971, REGULAR ALGEBRA FINI, P63

[4] ORDERINGS FOR TERM-REWRITING SYSTEMS [J].

DERSHOWITZ, N .

THEORETICAL COMPUTER SCIENCE, 1982, 17 (03) :279-301

[5] ON REGULARITY OF CONTEXT-FREE LANGUAGES [J].

EHRENFEUCHT, A ;

HAUSSLER, D ;

ROZENBERG, G .

THEORETICAL COMPUTER SCIENCE, 1983, 27 (03) :311-332

[6]

HAINES LH, 1969, J COMB THEORY, V6, P94

[7]

Harrison M., 1978, INTRO FORMAL LANGUAG

[8]

HIGMAN G, 1952, P LOND MATH SOC, V3, P326

[9]

Kruskal J.B., 1972, J COMB THEORY A, V13, P297, DOI 10.1016/0097-3165(72)90063-5

[10] COMMUTATIVE ONE-COUNTER LANGUAGES ARE REGULAR [J].

LATTEUX, M ;

ROZENBERG, G .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1984, 29 (01) :54-57

← 1 2 →