面向带效应状态机的统一理论
计算机科学中的逻辑
2020-03-18 v6 形式语言与自动机理论
摘要
利用余代数与基于单子的语义学的最新进展，我们对各种机器概念进行了统一研究，例如有限状态机、多栈机、图灵机、价自动机和加权自动机。它们是 Jacobs 的 T-自动机概念的实例，其中 T 是一个单子。我们证明了 T-自动机的泛型语言语义学正确地实例化了多种已知机器/语言类的通常语言语义学，包括正则语言、上下文无关语言、递归可枚举语言以及上下文无关语言的多个子类（例如确定型和实时型）。此外，我们的方法为研究各种基于机器的模型的表达能力提供了新的泛型技术。
引用
@article{arxiv.1401.5277,
title = {Towards a Uniform Theory of Effectful State Machines},
author = {Sergey Goncharov and Stefan Milius and Alexandra Silva},
journal= {arXiv preprint arXiv:1401.5277},
year = {2020}
}
备注
final version accepted by TOCL