Chapter3TheChurch-putingDevicesFiniteautomataTapeheadmovesonlyinonedirectionTapeisread-onlyThelengthoftapeisconstantPushdownautomataTapeheadmovesonlyinonedirectionTapeisread-only,butstackiswritableTapelengthisconstant,;putableEquivalenceofCFGs;putation:(1912–1954)In1936,putationinhisarticle“putableNumbers,”.Atthesametime,,-,dividedintocells(orcalledsquares),–read,write,movearoundInitially….nextpage6InputConvention7InputConvention8OutputConvention9TuringMachine元组式定义ATuringmachineMisdefinedbya7-tuple(Q,S,G,d,q0,ept,qreject),,(without“_”){_}ÈSÍÎÎÎ+goto10
计算理论导论(英文版)图灵机课件 来自淘豆网www.taodocs.com转载请标明出处.