本文档是英国利物浦大学计算机系自动机课件第一份。