合法化符码理论相关论文