构建一个用于语言 L = {aibjck | i>j>k; k ≥ 1} 的图灵机。


在这里,我们将了解如何为语言 L = {AiBjCk | i > j > k; k ≥ 1} 创建一个图灵机。因此,这表示一种仅使用三个字符 a、b 和 c 的语言。w 是一个字符串。因此,如果 w = aaaaaabbbbccc,图灵机将接受它。

为了解决这个问题,我们将使用这种方法。首先通过将 A 和 D 作为一个元素进行比较,然后比较 A 和 D,如果 C 的数量大于 |(A, D)|,则字符串将不被接受,如果 |D| > |A|,则不被接受,否则将被接受。

状态转换图

更新于: 2020年1月3日

481 次浏览

开启你的职业生涯

通过完成课程获得认证

开始学习
广告

© . All rights reserved.