符号动力系统(pdf)