Si dia uno schema discendente deterministico per il linguaggio di tutte
le espressioni regolari sull'alfabeto A = {a,b,c}, che per
un'espressione regolare costruisce una rappresentazione dell'albero astratto
assumendo gli assiomi
(x*)* = x* per x å {a,
b,c}
((e)*)* = (e)* per e espressione regolare
ossia si vuole che per (x*)* lo stesso albero che per x* e per ((e)*)*
lo stesso albero che per (e)*.