离散数学
图灵机TM及可计算性
介绍了图灵机和可计算性
离散数学
下推自动机PDA及上下文无关语言CFL
介绍了下推自动机和上下文无关语言
离散数学
有穷自动机FA及正则语言RL
介绍了有穷自动机和正则语言
1
2
