共 50 条
- [4] Revisiting the Equivalence Problem for Finite Multitape Automata AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2013, 7966 : 422 - 433
- [7] The equivalence problem for deterministic pushdown automata is decidable AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 671 - 681