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

来源：

JOURNAL OF THE ACM | 1977年 / 24卷 / 03期

关键词：

D O I：

10.1145/322017.322020

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：387 / 396

页数：10

共 50 条

[1] Problems of inclusion and equivalence for program schemata and formal languages
Lisovik, L.P.
Kibernetika i Sistemnyj Analis, 1993, (02): : 62 - 73
[2] PROBLEMS OF INCLUSION AND EQUIVALENCE FOR PROGRAM-SCHEMATA AND FORMAL LANGUAGES
LISOVIK, LP
CYBERNETICS AND SYSTEMS ANALYSIS, 1993, 29 (02) : 202 - 209
[3] EQUIVALENCE, CONTAINMENT, AND COVERING PROBLEMS FOR REGULAR AND CONTEXT-FREE LANGUAGES
HUNT, HB
ROSENKRANTZ, DJ
SZYMANSKI, TG
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 12 (02) : 222 - 268
[4] EQUIVALENCE AND SUBCLASS CONTAINMENT PROBLEMS FOR DETERMINISTIC CONTEXT-FREE LANGUAGES
FRIEDMAN, EP
GREIBACH, SA
INFORMATION PROCESSING LETTERS, 1978, 7 (06) : 287 - 290
[5] CONTAINMENT PROBLEMS FOR PATTERN LANGUAGES
MUKOUCHI, Y
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1992, E75D (04) : 420 - 425
[6] On the Commutative Equivalence of Algebraic Formal Series and Languages
Carpi, Arturo
D'Alessandro, Flavio
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2021, 32 (04) : 341 - 367
[7] THE EQUIVALENCE AND INCLUSION PROBLEMS FOR NTS LANGUAGES
SENIZERGUES, G
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1985, 31 (03) : 303 - 331
[8] THE MEMBERSHIP AND EQUIVALENCE PROBLEMS FOR PICTURE LANGUAGES
KIM, C
SUDBOROUGH, IH
THEORETICAL COMPUTER SCIENCE, 1987, 52 (03) : 177 - 191
[9] Complete formal systems for equivalence problems
Sénizergues, G
THEORETICAL COMPUTER SCIENCE, 2000, 231 (02) : 309 - 334
[10] ON CONTAINMENT PROBLEMS FOR FINITE-TURN LANGUAGES
ITZHAIK, Y
YEHUDAI, A
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 219 - 231

← 1 2 3 4 5 →