Si consideri il linguaggio di utte e sole le parole formabili sull'alfabeto
Sigma = {a,b,c} tali che se "b" occorre allora il numero totale delle sue
occorrenze non deve essere dispari.
si definisca un automa a stati finiti per tale linguaggio
si definisca una grammatica regolare per tale linguaggio