syntax in formal language