Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8446)

Abstract

It is a well-known fact that a nondeterministic automaton can be transformed into an equivalent deterministic automaton via the powerset construction. From a categorical perspective this construction is the right adjoint to the inclusion functor from the category of deterministic automata to the category of nondeterministic automata. This is in fact an adjunction between two categories of coalgebras: deterministic automata are coalgebras over \(\mathbf {Set}\) and nondeterministic automata are coalgebras over \(\mathbf {Rel}\). We will argue that this adjunction between coalgebras originates from a canonical adjunction between \(\mathbf {Set}\) and \(\mathbf {Rel}\).

In this paper we describe how, in a quite generic setting, an adjunction can be lifted to coalgebras, and we compare some sufficient conditions. Then we illustrate this technique in length: we recover several constructions on automata as liftings of basic adjunctions including determinization of nondeterministic and join automata, codeterminization, and the dualization of linear weighted automata. Finally, we show how to use the lifted adjunction to check behavioral equivalence.

References

  1. 1.
    Adámek, J., Bonchi, F., Hülsbusch, M., König, B., Milius, S., Silva, A.: A coalgebraic perspective on minimization and determinization. In: Birkedal, L. (ed.) FOSSACS 2012. LNCS, vol. 7213, pp. 58–73. Springer, Heidelberg (2012) Google Scholar
  2. 2.
    Awodey, S.: Category Theory. Clarendon Press, Oxford (2006)MATHGoogle Scholar
  3. 3.
    Bezhanishvili, N., Kupke, C., Panangaden, P.: Minimization via duality. In: Ong, L., de Queiroz, R. (eds.) WoLLIC 2012. LNCS, vol. 7456, pp. 191–205. Springer, Heidelberg (2012) Google Scholar
  4. 4.
    Bonchi, F., Bonsangue, M.M., Rutten, J.J.M.M., Silva, A.: Brzozowski’s algorithm (co)algebraically. In: Constable, R.L., Silva, A. (eds.) Kozen Festschrift. LNCS, vol. 7230, pp. 12–23. Springer, Heidelberg (2012) Google Scholar
  5. 5.
    Bonchi, F., Pous, D.: Checking NFA equivalence with bisimulations up to congruence. In: Proceedings of POPL ’13. pp. 457–468. ACM (2013)Google Scholar
  6. 6.
    Brzozowski, J., Tamm, H.: Theory of átomata. In: Mauri, G., Leporati, A. (eds.) DLT 2011. LNCS, vol. 6795, pp. 105–116. Springer, Heidelberg (2011) Google Scholar
  7. 7.
    Fiore, M., Turi, D.: Semantics of name and value passing. In: Proceedings of LICS ’01, pp. 93–104. IEEE (2001)Google Scholar
  8. 8.
    Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace semantics via coinduction. Log. Methods Comput. Sci. 3(4:11), 1–36 (2007)MathSciNetGoogle Scholar
  9. 9.
    Hermida, C., Jacobs, B.: Structural induction and coinduction in a fibrational setting. Inf. Comput. 145(IC982725), 107–152 (1998)MATHMathSciNetGoogle Scholar
  10. 10.
    Jacobs, B., Rutten, J.: A tutorial on (co)algebras and (co)induction. Bull. Eur. Assoc. Theor. Comput. Sci. 62, 222–259 (1997)MATHGoogle Scholar
  11. 11.
    Jacobs, B., Silva, A., Sokolova, A.: Trace semantics via determinization. In: Pattinson, D., Schröder, L. (eds.) CMCS 2012. LNCS, vol. 7399, pp. 109–129. Springer, Heidelberg (2012) Google Scholar
  12. 12.
    Kelly, G., Street, R.: Review of the elements of 2-categories. In: Kelly, G.M. (ed.) Category Seminar, Lecture Notes in Mathematics, vol. 420, pp. 75–103. Springer, Heidelberg (1974). (http://dx.doi.org/10.1007/BFb0063101)Google Scholar
  13. 13.
    Kerstan, H., König, B.: Coalgebraic trace semantics for continuous probabilistic transition systems. Log. Methods Comput. Sci. 9(4:16)(834) (2013). http://arxiv.org/abs/1310.7417v3
  14. 14.
    Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)MATHGoogle Scholar
  15. 15.
    Panangaden, P.: Labelled Markov Processes. Imperial College Press, London (2009)MATHGoogle Scholar
  16. 16.
    Rutten, J.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249, 3–80 (2000)MATHMathSciNetGoogle Scholar
  17. 17.
    Silva, A., Bonchi, F., Bonsangue, M.M., Rutten, J.J.M.M.: Generalizing determinization from automata to coalgebras. Log. Methods Comput. Sci. 9(1:09), 1–27 (2013)MathSciNetGoogle Scholar
  18. 18.
    Sokolova, A.: Probabilistic systems coalgebraically: a survey. Theor. Comput. Sci. 412(38), 5095–5110 (2011). (CMCS Tenth Anniversary Meeting)MATHMathSciNetGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2014

Authors and Affiliations

  • Henning Kerstan
    • 1
  • Barbara König
    • 1
  • Bram Westerbaan
    • 2
  1. 1.Universität Duisburg-EssenEssenGermany
  2. 2.Radboud Universiteit NijmegenNijmegenThe Netherlands

Personalised recommendations