"1"^^ . . . . . . "forma normal de Backus"@es . . .