是用于符纹不等式不完全表达式解析符纹之用的文字转WAV音频