利用有窮確定自動(dòng)機(jī)M=(K,Σ,f, S,Z）行為模擬程序算法，來對(duì)于任意給定的串，若屬于該語言時(shí)，該過程經(jīng)有限次計(jì)算后就會(huì)停止并回答“是”，若不屬于，要么能停止并回答“不是”