共 50 条
- [31] THE EQUIVALENCE PROBLEM FOR REAL-TIME DETERMINISTIC PUSHDOWN-AUTOMATA CYBERNETICS, 1986, 22 (02): : 162 - 175
- [32] A Linear-Time Simulation of Deterministic d-Limited Automata DEVELOPMENTS IN LANGUAGE THEORY, DLT 2021, 2021, 12811 : 342 - 354
- [34] THE EQUIVALENCE PROBLEM FOR REAL-TIME STRICT DETERMINISTIC PUSHDOWN-AUTOMATA CYBERNETICS, 1989, 25 (05): : 581 - 594
- [37] 2-WAY SEQUENTIAL TRANSDUCTIONS AND STACK AUTOMATA INFORMATION AND CONTROL, 1971, 18 (05): : 404 - &
- [38] BASIC TECHNIQUES FOR 2-WAY FINITE AUTOMATA FORMAL PROPERTIES OF FINITE AUTOMATA AND APPLICATIONS, 1989, 386 : 56 - 64
- [39] A BASIS THEOREM FOR A CLASS OF 2-WAY AUTOMATA ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (03): : 243 - &
- [40] MULTIHEAD 2-WAY PROBABILISTIC FINITE AUTOMATA LATIN '95: THEORETICAL INFORMATICS, 1995, 911 : 371 - 385