THE SEQUENCE EQUIVALENCE PROBLEM IS DECIDABLE FOR 0S SYSTEMS

被引：1

|

作者：

EHRENFEUCHT, A ^{[1
]}

ROZENBERG, G ^{[1
]}

机构：

[1] UNIV LEIDEN,INST APPL MATH & COMP SCI,NL-2300 RA LEIDEN,NETHERLANDS

来源：

JOURNAL OF THE ACM | 1980年 / 27卷 / 04期

关键词：

D O I：

10.1145/322217.322222

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：656 / 663

页数：8

相关论文

共 50 条

[21] A THEOREM ON MATRICES OF 0S AND 1S
DRAZIN, MP
HAYNSWORTH, EV
PACIFIC JOURNAL OF MATHEMATICS, 1963, 13 (02) : 487 - &
[22] MATRICES OF 0S AND 1S WITH TOTAL SUPPORT
BRUALDI, RA
JOURNAL OF COMBINATORIAL THEORY SERIES A, 1980, 28 (03) : 249 - 256
[23] TEVATRON GLOBAL RADIUS AND 0S SYSTEM.
Bristol, S.
Kerns, C.
Kerns, Q.
Miller, H.W.
IEEE Transactions on Nuclear Science, 1985, NS-32 (05)
[24] A new method of measuring ΔΓ/Γ in the B0s - B¯0s system
Hartkorn, K.
Moser, H.-G.
European Physical Journal C, 1999, 8 (03): : 381 - 383
[25] THE SPECTRAL-RADIUS OF MATRICES OF 0S AND 1S
BRUALDI, RA
LINEAR ALGEBRA AND ITS APPLICATIONS, 1986, 84 : 383 - 387
[26] THE EQUIVALENCE OF FINITE VALUED TRANSDUCERS (ON HDT0L LANGUAGES) IS DECIDABLE
CULIK, K
KARHUMAKI, J
THEORETICAL COMPUTER SCIENCE, 1986, 47 (01) : 71 - 84
[27] THE EQUIVALENCE PROBLEM FOR DETERMINISTIC 2-WAY SEQUENTIAL TRANSDUCERS IS DECIDABLE
GURARI, EM
SIAM JOURNAL ON COMPUTING, 1982, 11 (03) : 448 - 452
[28] THE ULTIMATE EQUIVALENCE PROBLEM FOR UNIFORM HDT0L SYSTEMS
Salomaa, Arto
Honkala, Juha
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2006, (90): : 127 - 130
[29] Decidable Extensions of Church's Problem
Rabinovich, Alexander
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2009, 5771 : 424 - 439
[30] Open-source movement grows with a distributed 0S
Myrvaagnes, R
ELECTRONIC PRODUCTS MAGAZINE, 2000, 43 (02): : 26 - +

← 1 2 3 4 5 →