类别:书架：自动机理论

自动机理论

此书架上的书籍涉及自动机理论：研究抽象机器及其能够解决的问题。自动机是有限状态机 (FSM) 的数学模型。FSM 是一种机器，它在给定符号输入时，根据转移函数，在状态之间“跳转”或“转换”。在常见的 FSM 中，此转移函数告诉自动机在给定当前状态和当前符号的情况下，下一个状态是什么。但是，需要注意的是，一般来说，自动机不必具有有限数量的状态，甚至不必具有可数数量的状态。自动机不必严格地接受或拒绝输入；它可以以介于 0 到 1 之间的某个概率接受输入。自动机在编译器设计和解析中起着重要作用。