符号的模式化系统与符号域