Repositorio de producción científica de la Universidad de Sevilla

Tuning the program transformers from LCC to PDL

 

Advanced Search
 
Opened Access Tuning the program transformers from LCC to PDL
Cites
Show item statistics
Icon
Export to
Author: Pardo, Pere
Sarrión Morillo, Enrique
Soler Toscano, Fernando
Velázquez Quesada, Fernando R.
Department: Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
Date: 2018
Published in: Journal of Applied Logics: IfCoLoG Journal of Logics and their Applications, 5 (1), 71-96.
Document type: Article
Abstract: 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.
Cite: 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.
Size: 2.221Mb
Format: PDF

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

See editor´s version

This work is under a Creative Commons License: 

This item appears in the following Collection(s)