Exercice 1 

:
a) Construire une machine de Turing M permettant de vérifier
qu’un système de parenthèses est correct.
- (), ((())), (()()) sont corrects
- )()), ((), ( sont incorrects.
b) Les dérivations en accord à M pour les deux mots (()()) et (.
(q0, ( ) = (q1, $, R)
(q1, ( ) = (q1, (, R)
(q1, ) ) = (q2, y, L)
(q2, ( ) = (q3, x, R)
(q3, y) = (q3, y, R)
(q3, ( ) = (q3, (, R)
(q3, ) ) = (q2, y, L)
(q2, x ) = (q2, x, L)
(q2, y ) = (q2, y, L)
(q2, $ ) = (q4, x, R)
(q4, x) = (q4, x, R)
(q4, y) = (q4, y, R)
(q4, #) = (q5, #, R)

Q={q0, q1, q2, q3, q4, q5}

F= {q5}
= { (, ), x, y, $, #}
 = { (, )}
 Exemple de dérivation :
q0(()())$q1()()) $(q1)()) $q2(y()) $xq3y())  $xyq3())
 $xy(q3))  $xyq2(y)  $xyxq3y)  $xyxyq3)  $xyxq2yy
$xyq2xyy  $xq2yxyy  $q2xyxyy  q2$xyxyy  xq4xyxyy 
…  xxyxyyq4#  xxyxyy#q5#.
q0 ( $q1#.