Exerie 1: Le langage
L = {a n b n c n | n ∈ N }
est aeptéparlagrammairesuivante :S → aSBC | ε
CB → BC aB → ab bB → bb bC → bc cC → cc
1. Construiredesdérivationspourlesmotssuivants:
aabbcc
etaaabbbccc
.2. Modierlagrammairedesortequ'ellesoitsous ontexte :touteprodutiondevrait êtrede
type
αXβ → αγβ
aveα, β, γ ∈ (N ∪ T ) ∗.
Exerie 2: Construireunegrammairesousontexte pourleslangagessuivants: