现代编译原理:C语言描述