A Coalgebraic View of ε-Transitions

  • Alexandra Silva
  • Bram Westerbaan
Conference paper

DOI: 10.1007/978-3-642-40206-7_20

Volume 8089 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Silva A., Westerbaan B. (2013) A Coalgebraic View of ε-Transitions. In: Heckel R., Milius S. (eds) Algebra and Coalgebra in Computer Science. CALCO 2013. Lecture Notes in Computer Science, vol 8089. Springer, Berlin, Heidelberg

Abstract

In automata theory, a machine transitions from one state to the next when it reads an input symbol. It is common to also allow an automaton to transition without input, via an ε-transition. These ε-transitions are convenient, e.g., when one defines the composition of automata. However, they are not necessary, and can be eliminated. Such ε-elimination procedures have been studied separately for different types of automata, including non-deterministic and weighted automata.

It has been noted by Hasuo that it is possible to give a coalgebraic account of ε-elimination for some automata using trace semantics (as defined by Hasuo, Jacobs and Sokolova).

In this paper, we give a detailed description of the ε-elimination procedure via trace semantics (missing in the literature). We apply this framework to several types of automata, and explore its boundary.

In particular, we show that is possible (by careful choice of a monad) to define an ε-removal procedure for all weighted automata over the positive reals (and certain other semirings). Our definition extends the recent proposals by Sakarovitch and Lombardy for these semirings.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Alexandra Silva
    • 1
  • Bram Westerbaan
    • 1
  1. 1.ICISRadboud University NijmegenNetherlands