四川大学唐常杰教授,双语电子教案,配合教材 计算理论导引( Michael Sipser 著)8章