文法的符号化