On the semantic equivalence of language syntax formalisms