有限自动机导论及其与逻辑的联系
形式语言与自动机理论
2012-02-16 v2 计算机科学中的逻辑
摘要
这是一篇关于有限自动机的教程。我们介绍了确定化和最小化的标准内容，并阐述了有限自动机与一元二阶逻辑的等价性。最后，我们介绍了语法幺半群，并作为应用给出了关于一阶可定义性与非周期性等价性的证明。
引用
@article{arxiv.1011.6491,
title = {An introduction to finite automata and their connection to logic},
author = {Howard Straubing and Pascal Weil},
journal= {arXiv preprint arXiv:1011.6491},
year = {2012}
}