Two-way automata and length-preserving homomorphisms

Theory of Computing Systems

Volumn 29, Issue 3, 1996, Pages 191-226

  Birget, J C ^a  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; EQUIVALENCE CLASSES; FINITE AUTOMATA;

COMPLEXITY RESULTS; EQUIVALENCE PROBLEM; MACHINE CHARACTERIZATION; NON-DETERMINISM; STATE COMPLEXITY; TWO-WAY AUTOMATA; TWO-WAY FINITE AUTOMATA; UNARY LANGUAGES;

C (PROGRAMMING LANGUAGE);

EID: 0010123669     PISSN: 14324350     EISSN: 14330490     Source Type: Journal    
DOI: 10.1007/BF01201276     Document Type: Article

References (11)

1. [A] T. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, New York, 1976.
2. [AHU] A. Aho, J. Hopcroft, and J. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, MA, 1974.
3. [B1] J.-C. Birget, Concatenation of inputs in a two-way automaton. Theoretical Computer Science 63 (1989), 141-156.
4. [B2] J.-C. Birget, Basic techniques for two-way finite automata, in: J. E. Pin (ed.), Formal Properties of Finite Automata and Applications, Lecture Notes in Computer Science, Vol. 386, Springer-Verlag, Berlin, 1989, pp. 56-64.
5. [B3] J.-C. Birget, Positional simulation of two-way automata: proof of a conjecture of R. Kannan, and generalizations, Journal of Computer and System Sciences 45 (1992), 154-179 (special issue on STOC 89).
6. [B4] J.-C. Birget, State-complexity of finite-state devices, state-compressibility and incompressibility, Mathematical Systems Theory 26 (1993), 237-269.
7. [B5] J.-C. Birget, Partial orders on words, minimal elements in regular languages, and state complexity, Theoretical Computer Science, 119 (1993), 267-291.
8. [B6] J.-C. Birget, The minimum automaton for certain languages, in preparation.
9. [BG] R. Book and S. Greibach, Quasi-realtime languages, Mathematical Systems Theory 4 (1970), 97-111.
10. [BH] M. Blum and C. Hewitt, Automata on a 2-dimensional tape. Proceedings of the 8th IEEE Symposium on Switching and Automata Theory, 1965, pp. 155-160.
11. 1, Journal of Computer and System Sciences, to appear.