佩雷·帕尔多;Enrique Sarión-Morrillo;费尔南多·索勒·托斯卡诺;费尔南多·奎萨达（Fernando R.Velázquez-Quesada）。 将程序转换器从CC调整为PDL。 （英语） Zbl 1513.03076号 J.应用。日志。-IfCoLog J.日志。申请。 5，第1期，71-96（2018）. 小结：这项工作提出了一个所谓的程序转换器的替代定义，用于获得通信与变化逻辑（LCC）中的约简公理。我们的建议使用了Brzozowski方程方法的优雅矩阵处理，而不是Kleene从有限自动机到正则表达式的转换。这两种替代方法被证明是等价的，Brzozowski的方法具有为具有平均连通性的模型生成较小表达式的优点。 理学硕士： 03B70号 计算机科学中的逻辑 03B42号 知识和信念的逻辑（包括信念变化） 关键词：沟通与变革的逻辑;动态认识逻辑;命题动态逻辑;动作模型;程序转换器;约简公理 PDF格式BibTeX公司 XML格式引用 \textit{P.Pardo}等人，J.Appl。日志。-IfCoLog J.日志。申请。5、第1号、第71-96号（2018；Zbl 1513.03076）