 Machine ya Turing ezali nini?
Machine ya Turing ezali masini ya informatique hypothétique oyo Alan Turing a inventer na 1936. Ezali dispositif théorique oyo ezali na machine hypothétique oyo e manipuler ba symboles na bande ya bande selon tableau ya mibeko. Masini ya Turing ekoki kosalama mpo na kosala lokola logique ya algorithme nyonso ya ordinatɛrɛ to ya fonction mathématique, mpe yango ekómisi yango likanisi ya moboko na boyekoli ya informatique. Masini yango ezali na kasɛti oyo ezangi nsuka oyo ekabolami na baselile, epai selile mokomoko ekoki kobomba elembo. Masini yango esalaka na kotánga elembo oyo ezali na selile oyo ezali sikoyo, mpe na kotalela elembo yango mpe ndenge oyo ezali sikoyo, elandaka mibeko oyo esili kolimbolama liboso mpo na koyeba ezalela na yango oyo ekolanda, elembo nini esengeli kokoma na selile oyo ezali sikoyo, mpe soki esengeli kotinda kasɛti yango gauche, droite to kotikala na esika na yango. Processus oyo ezongelamaka tii tango machine ekokoma na état ya arrêt, oyo elakisaka suka ya calcul. Mbala mingi, basalelaka ba Machines Turing mpo na koluka koyeba makoki mpe bandelo ya baordinatɛrɛ mpe makoki na yango ya kosilisa mikakatano. Bazali composante clé na informatique théorique mpe epesaka définition officielle ya nini elingi koloba mpo na problème ezala résoudable algorithmiquement.