Exercices

Les phrases des langages réguliers peuvent être reconnues par des machines d’états finis. Elles sont généralement décrites par des diagrammes de transition. Chaque nœud représente un état et chaque arête une transition d’état. L’arête est étiquetée par le symbole qui est lu par la transition. Etudiez les diagrammes suivants et décrivez la syntaxe des langages correspondants en EBNF.

Exercice 1

solution

S = "a" "(" "x" { "o" "x" } ")"

ou encore

S = "a" "(" { "x" "o" } "x" ")"

Exercice 2

solution

S = "a" { E } "."
E = "+" { "c" "*" } "b"