摘要：人物表 专盱生 新科状元,江南巡按。 专思春 盱生养父额上有一道月牙痕,五绺短髭。 专妻 思春之妻 郑贞梅 盱生生母 苏云 盱生生父 习窳 常州知府 习弧 习窳之父,礼部尚书 习老夫人 习弧之妻 常州官员、常州百姓、中军、一老者、众歌姬、二丫环、二车夫、禁婆、禁子、衙役、刽子手、四女神。

摘要：在大多数基于图形的计算技术中,理论上的表达式与其图形表示并不相似,且它们的计算方式彼此不对应。出于理论研究需要一种与理论极为相似的计算技术。基于超图重写技术对无类型λ-演算的完全归约、按名称调用归约和按值调用归约进行建模。利用超图重写技术得到的以超图表示的λ-表达式在形式上与理论上的λ-表达式相似,以超图重写规则实现的计算过程与理论上的计算过程相对应,使该技术成为编程语言理论研究和快速建模演示的有利工具。