共 50 条
- [2] The Equivalence Problem for Finite Automata [J]. COMMUNICATIONS OF THE ACM, 2015, 58 (02) : 86 - 86
- [3] Weak equivalence of higher-dimensional automata [J]. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2021, 23 (01):
- [7] DECIDING EQUIVALENCE OF FINITE TREE AUTOMATA [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 480 - 492
- [8] DECIDING EQUIVALENCE OF FINITE TREE AUTOMATA [J]. SIAM JOURNAL ON COMPUTING, 1990, 19 (03) : 424 - 437
- [9] On weak invertibility of nonlinear finite automata [J]. Jisuanji Xuebao/Chinese Journal of Computers, 20 (11): : 1003 - 1008
- [10] Equivalence between Mizumoto Lattice Finite Automata [J]. FUZZY INFORMATION AND ENGINEERING, VOL 1, 2009, 54 : 33 - 37