Mar, 2023
正则表达式过程解释图像在 Bisimulation Collapse 下不封闭
The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse
Clemens Grabmayer
TL;DR研究笔者探讨了 Milner 过程语义中正则表达式模除双模价的公理化和表达问题，研究发现盲目添加 1 并不能接受，但在图解释中，LEE 特征可以被指出并应用于证明一个等式证明系统的 1-free 正则表达式，并可以在多项式时间内决定一个过程图与 1-free 正则表达式的解释是否双模拟。但是，我们发现过程图的 “进一步精细化是具有 1 转换的过程图并具有 LEE 的属性” 不受双模建立变形的影响，表明正则表达式解释的图像并不是封闭的。