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. 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 being computationally more efficient. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-11558-0_18 | JELIA |
Keywords | Field | DocType |
Logic of communication and change,propositional dynamic logic,action model,program transformer,reduction axiom | Regular expression,Algebra,Matrix (mathematics),Axiom,Computer science,Algorithm,Finite-state machine | Conference |
Volume | ISSN | Citations |
8761 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 8 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pere Pardo | 1 | 47 | 8.63 |
Enrique Sarrión-Morillo | 2 | 1 | 1.03 |
Fernando Soler-Toscano | 3 | 195 | 26.32 |
Fernando R. Velázquez-Quesada | 4 | 0 | 0.34 |