共 6 条
[2]
DECIDABILITY OF EQUIVALENCE PROBLEM FOR DOL-SYSTEMS
[J].
INFORMATION AND CONTROL,
1977, 35 (01)
:20-39
[3]
CULIK K, UNPUBLISHED
[4]
Hopcroft J.E., 1969, FORMAL LANGUAGES THE
[5]
SALOMAA A, UNPUBLISHED
[6]
SALOMAA A, 1978, B EATCS, V4, P5