1) décrivent le concept de la machine de Turing :

L'ébauche d'une abstraction conceptuelle basée sur l'observation de en tant qu'homme résout les problèmes.

 

2) décrivent le modèle physique de la machine de Turing :

Il est constitué donne :

) un corps de surveillance dans lequel un programme à exécuter est présent et l'exécuteur d'organe qui prend soin des mouvements.

b) une bande sans limites ayant la fonction dans beaucoup de cas de l'ognuna subdivisé par mémoire di.le qui peut contenir un symbole, sur la bande peut trouver l'endroit que un n° a fini des symboles non blancs et restants infiniment du blanc de symboles.

 

3) qu'on accorde des opérations à la machine de Turing :

on accorde 4 opérations de dont tous les testina de lecture et écriture ont mis en application du T.L.S. du lequel est :

) lisant le symbole actuel dans la cellule qu'ils de la bande met en oeuvre

b) Pour écrire un symbole dans la cellule les met en oeuvre automatiquement décommandant le symbole qui précédemment vous a été écrit.

c) Pour se déplacer sur la prochaine cellule du côté gauche de la bande.

d) Pour se déplacer sur la prochaine bonne cellule de la bande.

 

4) comme extrinsèque le fonctionnement d'une machine de Turing :

Par une telle matrice :

Les lignes ž sont tous les états possibles dans lesquels le m.d.T. il peut être trouvé.

Le ž de colonnes sont tous les symboles possibles que le m.d.T. il peut rencontrer.

l'" combinaison du revenu constituée à partir du produit cartésien soit les met en oeuvre symbole rencontré ^{par X}, a dans l'intersection de la matrice une sterne représente dont le rendement les met en oeuvre étape d'élaboration, constituée ils donnent :

a) symbole à remplacer au symbole lu.

b) nouveau soit que la machine doit supposer.

c) position du prochain symbole à analyser.

 

5) décrivent le modèle d'algebrico de la machine de Turing :

Selon ce modèle le m.d.T. ce n'est pas qu'une sterne constituée donne :

) le ž de Q a fini l'intégralité des états

b) Le ž de S a fini l'intégralité des symboles

c) Le ž Sottoset de P de avec du quintuple formé donne :

c, a) ž soit les met en oeuvre

c, b) symbole de ž les met en oeuvre

c, c) symbole de ž à remplacer au symbole les met en oeuvre

c, d) ž nouveau soit

c, e) mouvement de ž à effectuer afin de lire le symbole successif.

 

6) ce qui est la signification pour la configuration instantanée d'une machine de Turing :

Il est un serre en position à l'estrinsecare l'état de la machine de Turing dans un moment de données. Commencer d'une configuration instantanée du départ peut être atteint la configuration finale par des utilisations que cela de la matrice fonctionne elles et la modernisation conséquente de la configuration instantanée.

Une configuration instantanée est une serre tels : h q_I s_K X où :

le ž de h est le serre signicatif de la bande qui précède la cellule actuellement indiquée

q le ž est l'état dans lequel actuellement la machine de Turing est trouvée

le žde s _K est le symbole actuellement lu

le ž X est le serre signicatif de la bande qui suit l'attualmente indiqué de cellules.

7) ce qui est la signification pour le computazione d'une machine de Turing :

C'est une séquelle des descriptions instantanées que partir de la porte instantanée de description à une les commence soit final.

 

8) contour pour la planification d'un algorithme avec la machine de Turing :

) trouvant la configuration la plus simple il les commence tels que les appliquant l'algorithme nous sont en position à dire qu'elle travaille.

b) Projeter un algorithme qui résout simplement le problème travaillant à elle serre.

* Pour caractériser clairement l'état de la fermeture de l'algorithme et des cycles intérieurs certains.

c) Essayer l'algorithme serre dessus le champion.

 

9) Enounce la thèse de l'église :

Si un problème admet une résolution algorithmique, alors de lui il admet un exprimé d'une machine de Turing (le previa codifie des données).

 

10) existent des problèmes insolubles :

, un exemple est l'algorithme de arrêté

 

11) qui sont les caractéristiques d'un algorithme :

a) doit descrivibile avec un n° fin des instructions.

b) nous n'en a pas à être une limite au n° des données dans le revenu de au n° des données dans l'évasion.

c) les instructions ne doivent pas être ambiguës.

d) la complexité des instructions doit avoir une limite finie.

et) la nécessité d'exécuteur doivent disposition une mémoire sans limites dans le memorizzare d'ordre les données.

f) l'algorithme doit finir après un n° fini des étapes.

 

12) quand un algorithme est plus complexe qu'un autre :

Un algorithme est plus complexe s'il est moins efficace où l'efficacité vient prise en compte mesuré que la quantité de ressources (temps de mémoire d'exécution) ces ils viennent engagé.

 

13) quand un problème est traitable :

Quand un algorithme existe que des résolutions il en termes de polinomiali.