摘要:有限词的可识别语言是计算机科学课程的一部分,并且通常被描述为应用和理论的基石。我们想简要探讨为什么如此,并且如何将这个与词相关的概念扩展到更复杂的模型,比如为建模分布式或定时行为而开发的模型。
作者:Pascal Weil (LaBRI)
论文ID:cs/0609110
分类:Logic in Computer Science
分类简称:cs.LO
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中