2020春 4

• 图灵机 (Turing Machine) 2020-07-15
• 上下文无关文法和下推自动机 2020-07-13
• 正则表达式 (Regular Expression) 2020-07-13
• 有穷自动机 (Finite Automata) 2020-07-13