Degrees of reversibility for DFA and DPDA

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8507 LNCS, Issue , 2014, Pages 40-53

  Kutrib, Martin ^a   Worsch, Thomas ^b  

^a JUSTUS LIEBIG UNIVERSITY   (Germany)

^b KARLSRUHE INSTITUTE OF TECHNOLOGY   (Germany)

Author keywords

gradual reversibility; hierarchies of languages; lookahead; pushdown automata; Reversible finite state machines

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

GRADUAL REVERSIBILITY; LOOKAHEAD; PUSH-DOWN AUTOMATA;

FINITE AUTOMATA;

EID: 84905283566     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-08494-7_4     Document Type: Conference Paper

References (11)

1. Aho, A.V., Ullman, J.D.: The theory of parsing, translation, and compiling. Parsing, vol. I. Prentice-Hall Inc., Englewood Cliffs (1972)
2. Angluin, D.: Inference of reversible languages. J. ACM 29(3), 741-765 (1982)
3. Axelsen, H.B., Glück, R.: A simple and efficient universal reversible Turing machine. In: Dediu, A.-H., Inenaga, S., Martín-Vide, C. (eds.) LATA 2011. LNCS, vol. 6638, pp. 117-128. Springer, Heidelberg (2011)
4. Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17, 525-532 (1973)
5. Ginsburg, S., Rice, H.G.: Two families of languages related to ALGOL. J. ACM 9(3), 350-371 (1962)
6. Harrison, M.A.: Introduction to Formal Language Theory. Addison-Wesley, Reading (1978)
7. Kobayashi, S., Yokomori, T.: Learning approximately regular languages with reversible languages. Theoret. Comput. Sci. 174, 251-257 (1997)
8. Kutrib, M., Malcher, A.: Reversible pushdown automata. J. Comput. System Sci. 78, 1814-1827 (2012)
9. Landauer, R.: Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 5, 183-191 (1961)
10. Morita, K., Shirasaki, A., Gono, Y.: A 1-tape 2-symbol reversible Turing machine. Trans. IEICE E72, 223-228 (1989)
11. Pin, J.E.: On reversible automata. In: Simon, I. (ed.) LATIN 1992. LNCS, vol. 583, pp. 401-416. Springer, Heidelberg (1992)