基于字符串图的有限状态自动机有限公理化

@第{Piedeleu2022AFA条，title={使用字符串图对有限状态自动机进行有限公理化}，作者＝{Robin Piedeleu和Fabio Zanasi}，journal={Log.Methods计算科学}，年份={2022}，体积={19}，网址={https://api语义scholar.org/语料库ID:254069742}}
  • R.皮埃德鲁F.扎纳西
  • 出版在里面日志。方法计算。科学。 2022年11月29日
  • 计算机科学、数学
  • 日志。方法计算。科学。
一种完整的有限状态自动机图解方法，基于将其通常的状态转换图形表示重新解释为字符串图的二维语法，能够为语言等价提供完整的等式理论。
[PDF]语义阅读器
1引文
背景引文
1

本文中的数字

询问这篇论文
贝塔
AI供电

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

一篇引文

计算机科学家弦图简介

本文是对字符串图的初步介绍，以范畴理论为出发点，以形式语言理论的直觉为基础，将字符串图视为具有语义的语法。

50参考文献

有限状态自动机的弦图公理化

一种完整的有限状态自动机图解方法，基于将其通常的状态转换图形表示重新解释为字符串图的二维语法，能够为语言等价提供完整的等式理论。

图代数：从线性系统到并发系统

介绍了资源演算，这是一种用于并发系统的字符串图表语言，它使用与信号流演算相同的语法和操作语义——信号流图的代数形式主义，这是控制理论中感兴趣的计算组合模型。

自动机和可计算性

    D.科赞
    计算机科学、数学
    计算机科学本科生课文
  • 1997
对可计算性基本理论模型的介绍发展了它们丰富多样的结构，并在有效可计算性、可判定性和哥德尔不完全性定理的讨论中达到高潮。

布尔可满足性的完全图解演算

提出了一种字符串图演算来推理布尔公式的可满足性，并证明了它对SAT求解和Horn子句的求解是合理和完整的。

Kleene代数和正则事件代数的完备性定理

    D.科赞
    数学、计算机科学
    [1991]第六届IEEE年会论文集…
  • 1991
给出了正则事件代数的有限公理化，它只涉及方程和方程含义，适用于Kleene代数的所有解释。Kleene的公理…

动态代数与归纳的性质

给出了一种处理动态代数中递归的归纳方面的方法和Segerberg公理的Parikh完备性定理。

信号流图的微积分I：流上的线性关系

并发Kleene代数

并发Kleene代数证明了该代数对程序执行语义的部分序跟踪模型的适用性，并通过验证序列程序和并发程序的常见证明规则证明了其有用性。

并发Kleene代数：自由模型和完备性

证明了具有有界并行性的CKA公理对于原论文提出的语义是完备的；因此，这些语义是CKA片段的自由模型。

带测试的Guarded Kleene代数：在几乎线性时间内验证未解释程序

发展了GKAT的（协同）代数理论，并证明了它如何有效地用于推理命令式程序，提供完整的Kleene定理，证明了类似Salomaa的Kleene代数公理化的完备性。