正则表达式过程语义的结构约束过程图
计算机科学中的逻辑
2020-12-22 v1
摘要
Milner（1984）引入正则表达式作为过程图的过程语义。与语言语义不同——其中每种正则（即被 DFA 接受）语言都是某个正则表达式的解释——存在不与任何正则表达式的过程解释互模拟的有限过程图。为推理在互模拟模下可由正则表达式表达的过程图，期望具有解释像中过程图的结构表示。对于‘无 1’正则表达式，其过程解释满足结构性质 LEE（环存在与消除）。但如我们用例子所示，这一般对所有正则表达式不成立。作为补救，我们描述了对过程解释的一个相近变体恢复性质 LEE 的可能性。为此，我们精炼正则表达式的过程语义以产生带 1-转移的过程图，类似于有限状态自动机的静默移动。本报告附于 TERMGRAPH 2020 研讨会后论文集的同名论文。此处我们给出两个中心定理中不仅一个而是两个的证明。
引用
@article{arxiv.2012.10869,
title = {Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions},
author = {Clemens Grabmayer},
journal= {arXiv preprint arXiv:2012.10869},
year = {2020}
}
备注
Extended-report version of article in EPTCS post-proceedings of the workshop TERMGRAPH 2020. 22 pages