Opened Access Tuning the program transformers from LCC to PDL
Estadísticas
Icon
Exportar a
Autor: Pardo, Pere
Sarrión Morillo, Enrique
Soler Toscano, Fernando
Velázquez Quesada, Fernando R.
Departamento: Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
Fecha: 2018
Publicado en: Journal of Applied Logics: IfCoLoG Journal of Logics and their Applications, 5 (1), 71-96.
Tipo de documento: Artículo
Resumen: This work proposes an alternative definition of the so-called program transformers used to obtain reduction axioms in the Logic of Communication and Change (LCC). Our proposal uses an elegant matrix treatment of Brzozowski’s equational method instead of Kleene’s translation from finite automata to regular expressions. The two alternatives are shown to be equivalent, with Brzozowski’s method having the advantage of generating smaller expressions for models with average connectivity.
Cita: Pardo, P., Sarrión Morillo, E., Soler Toscano, F. y Velázquez Quesada, F.R. (2018). Tuning the program transformers from LCC to PDL. Journal of Applied Logics: IfCoLoG Journal of Logics and their Applications, 5 (1), 71-96.
Tamaño: 2.221Mb
Formato: PDF

URI: https://hdl.handle.net/11441/74649

Ver versión del editor

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivar 4.0 Internacional

Este registro aparece en las siguientes colecciones