EQUIVALENCE AND CONTAINMENT PROBLEMS FOR FORMAL LANGUAGES

被引：10

作者：

HUNT, HB

ROSENKRANTZ, DJ

机构：

[1] HARVARD UNIV,AIKEN COMPUT LAB,CAMBRIDGE,MA 02138

[2] GEN ELECT CO,CTR RES & DEV,SCHENECTADY,NY 12345

来源：

关键词：

D O I：

10.1145/322017.322020

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：387 / 396

页数：10

共 50 条

[31] EQUIVALENCE OF REDUCING TRANSITION LANGUAGES AND DETERMINISTIC LANGUAGES
SCHKOLNICK, M
COMMUNICATIONS OF THE ACM, 1974, 17 (09) : 517 - 519
[32] EQUIVALENCE PROBLEMS FOR DETERMINISTIC CONTEXT-FREE LANGUAGES AND MONADIC RECURSION SCHEMES
FRIEDMAN, EP
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 14 (03) : 344 - 359
[33] FORMAL SPECIFICATION LANGUAGES
PARKER, J
TITTERINGTON, G
ELECTRONICS AND POWER, 1986, 32 (06): : 441 - 443
[34] TOPOLOGIES ON FORMAL LANGUAGES
WALTER, H
MATHEMATICAL SYSTEMS THEORY, 1975, 9 (02): : 142 - 158
[35] THE SEPARABILITY OF FORMAL LANGUAGES
PINZANI, R
SPRUGNOLI, R
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1982, 16 (01): : 13 - 31
[36] A class of formal languages
Sukhanov E.V.
Shur A.M.
Algebra and Logic, 1998, 37 (4) : 270 - 277
[37] Formal languages for quasicrystals
Escudero, JG
SYMMETRIES IN SCIENCE IX, 1997, : 139 - 152
[38] Formal Choreographic Languages
Barbanera, Franco
Lanese, Ivan
Tuosto, Emilio
COORDINATION MODELS AND LANGUAGES, 2022, 13271 : 121 - 139
[39] THEORY OF FORMAL LANGUAGES
SIROMONE.R
CURRENT SCIENCE, 1971, 40 (24): : 650 - &
[40] FORMAL LANGUAGES AND ENUMERATION
GOLDMAN, JR
JOURNAL OF COMBINATORIAL THEORY SERIES A, 1978, 24 (03) : 318 - 338