有穷自动机 - czk's wiki

确定型有穷自动机: 确定型有穷自动机是一个五元组M=(K, ∑, δ, s, F)，其中 K是有穷的状态集合，∑是字母表，s∈K是初始状态，F⊆K是终结状态集合，δ是从K×∑到K的函数，叫做转移函数。