可靠性与完备性

 

--部分内容来自陈意云老师的<<程序设计语言理论>>，在此表示感谢。