CM1025 计算机科学基础 第七周 自动机语言
有限自动机接受的语言分析
1. 回顾自动机行为
在之前的示例中，我们观察到一个有限自动机接受以下二进制字符串：
10（路径：A→B→E）
110（路径：A→B→B→E，在B自循环一次）
1110（路径：A→B→B→B→E，在B自循环两次）
1010（路径：A→B→E→D→E）
10110（路径：A→B→E→D→B→E）
这些字符串的共同点是：均以 10 结尾。
2. 反向推导接受语言的模式
为了系统性分析自动机接受的语言，我们从接受状态（E和D）反向追踪：
(a) 终止于状态E的字符串
进入E的转移：
从
立即观看
0