共 50 条
- [41] A SIMPLICITY TEST FOR DETERMINISTIC PUSHDOWN-AUTOMATA INFORMATION AND CONTROL, 1980, 47 (01): : 10 - 36
- [42] On regular tree languages and deterministic pushdown automata Acta Informatica, 2009, 46 : 533 - 547
- [43] The equivalence problem for deterministic pushdown automata is decidable AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 671 - 681
- [47] DECIDABILITY OF EQUIVALENCE FOR DETERMINISTIC STATELESS PUSHDOWN AUTOMATA INFORMATION AND CONTROL, 1978, 38 (03): : 367 - 376
- [48] Converting two-way nondeterministic unary automata into simpler automata MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2001, 2001, 2136 : 398 - 407
- [49] Deterministic Pushdown Automata with Translucent Input Letters DEVELOPMENTS IN LANGUAGE THEORY, DLT 2024, 2024, 14791 : 203 - 217