OK! 45 posts in total. Keep on posting.

John Watrous 《Introduction to the Theory of Computing》13 -- 图灵机的变体

02-07

John Watrous 《Introduction to the Theory of Computing》12 -- 图灵机

01-26

John Watrous 《Introduction to the Theory of Computing》11 -- 下推自动机

12-28

John Watrous 《Introduction to the Theory of Computing》10 -- 证明非上下文无关语言

12-16

John Watrous 《Introduction to the Theory of Computing》09 -- 上下文无关语法的属性

12-16

John Watrous 《Introduction to the Theory of Computing》08 -- 分析树、歧义性和乔姆斯基范式

11-29

John Watrous 《Introduction to the Theory of Computing》07 -- 上下文无关语法和语言

11-15

John Watrous 《Introduction to the Theory of Computing》06 -- 正则语言的进一步证明

11-08

John Watrous 《Introduction to the Theory of Computing》05 -- 证明非正则语言

11-06

John Watrous 《Introduction to the Theory of Computing》04 -- 正则运算和正则表达式

10-25