共 50 条
- [1] ALGEBRAIC APPROACH TO TESTING OF EQUIVALENCE OF SEQUENTIAL-MACHINES [J]. DIGITAL PROCESSES, 1978, 4 (01): : 17 - 28
- [6] GAMES BETWEEN SEQUENTIAL-MACHINES [J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1987, 6 (01): : 81 - 93
- [7] SIGNATURE TESTING OF SEQUENTIAL-MACHINES [J]. IEEE TRANSACTIONS ON COMPUTERS, 1984, 33 (08) : 762 - 764
- [8] SIMULTANEOUS DECOMPOSITIONS OF SEQUENTIAL-MACHINES [J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 305 - 312
- [9] SYNTHESIS OF LINEAR SEQUENTIAL-MACHINES [J]. INFORMATION AND CONTROL, 1976, 32 (02): : 112 - 127
- [10] ADAPTIVE LINEAR SEQUENTIAL-MACHINES [J]. AUTOMATION AND REMOTE CONTROL, 1975, 36 (12) : 2034 - 2045