Formal Language形式语言代考高分

高难度形式语言代考, 类似于theory of computation 计算理论. 主要考了Regular language, context free language, decidable, recognizable, DFA, NFA, PDA, TM 图灵机等内容.