我最近在看编译原理的书。 在词法分析这一章经常写构造有限自动机来实现 scanner 。 在我看来这不就是某个算法吗？ 然后我又在知乎上看到这个问题。 算法、自动机理论、形式语言、可计算性理论之间都是什么关系？ https://www.zhihu.com/question/28932188 但是这些回答就像黑话一样，看完了我更蒙蔽了。 求大神指点一下。 自动机, 算法, 黑话, 词法
