La gramática formal era no ambigua mecánicamente (al principio).