. . "3"^^ . . . . . . "strong equivalence of grammars"@en .