3.2.1 字符串类型的理论模型