1、课堂要点

非确定性之在正则运算下的封闭性

2、课后作业

证明定理1.28：