構文論上同値