ω⋯ω是一个字符串并且其中任一ω是字母表Σ的成员.如果存在Q中的状态序列r ,r,⋯,r,满足下述条件：1）r=q2)δ(r, ω)=r, r=0,1,⋯,n-13)r∈F则M接受ω.条件1说机器从起始状态开始。条件2说机器按照转移函数从一个状态到另一个状态。条件3说如果机器结束在接受状态，则接受它的输入。如果A={ ω|M接受ω}，则称M识别语言A。