A process-theoretic look at automata

  • Authors:

  • J. C. M. Baeten;P. J. L. Cuijpers;B. Luttik;P. J. A. van Tilburg

  • Affiliations:

  • Division of Computer Science, Eindhoven University of Technology, Eindhoven, MB, The Netherlands;Division of Computer Science, Eindhoven University of Technology, Eindhoven, MB, The Netherlands;Division of Computer Science, Eindhoven University of Technology, Eindhoven, MB, The Netherlands;Division of Computer Science, Eindhoven University of Technology, Eindhoven, MB, The Netherlands

  • Venue:
  • FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiveness of the automata models are considered modulo language equivalence. This notion of equivalence is arguably too coarse to satisfactorily deal with a notion of interaction that is fundamental to contemporary computing. In this paper we therefore reconsider the automaton models from automata theory modulo branching bisimilarity, a well-known behavioral equivalence from process theory that has proved to be able to satisfactorily deal with interaction. We investigate to what extent some standard results from automata theory are still valid if branching bisimilarity is adopted as the preferred equivalence.