Tu te seras exercé en syntaxe et en grammaire. Tu auras travaillé ...
la grammaire suivante : c ::= skip ?. ? X := a ?. ? c1;X := a ... on appelle cette tactique en faisant autoinj ou encore repeat autoinj pour l'appliquer tant.
la grammaire suivante : c ::= skip ?. ? X := a ?. ? c1;X := a ... on appelle cette tactique en faisant autoinj ou encore repeat autoinj pour l'appliquer tant.