litten

摘要： 有穷自动机的非形式化定义非形式化定义，即非数学语言的定义。自动机是一种抽象的机器，它有很多个状态，用圆圈来表示。状态与状态之间有箭头，箭头上有所需要的条件，也即只有满足箭头上的条件时才能从一个状态走到另一个状态。状态的目的是记住系统历史的有关部分，也即记住所输入的字符串都满足了自动机系统的哪些条件，... 阅读全文