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