基于字符串图的有限状态自动机有限公理化第条
作者:Robin Piedeleu1; 法比奥·扎纳西1,2
空##空
罗宾·皮埃德鲁;法比奥·扎纳西
我们开发了一种完整的有限状态自动机图解方法,基于将它们通常的状态转换图形表示重新解释为字符串图的二维语法。在这种情况下,我们能够为语言对等提供了一个完整的等式理论,其中两个值得注意特征。首先,所提出的公理化是有限的。第二,克莱恩星是一个派生概念,因为它可以分解为更原始的代数阻碍。
卷:第19卷第1期
发布日期:2023年2月15日
验收日期:2022年11月30日
提交日期:2022年11月30日
关键词:计算机科学-计算机科学中的逻辑、计算机科学-形式语言和自动机理论