在理论计算机科学中，自动机理论是对抽象“数学”机器或系统的研究以及可以使用这些机器解决的计算问题。这些抽象机器称为自动机。 （“自动机”，维基百科）
我一直在尝试制作一个识别该语言的图灵机图： {（ab）^n（ba）^n | n>0} 如何为上述语言构建图灵机图？
我有一个模块的作业： 为这种语言制作一个图灵机： {𝑤 ∈ {𝑎,𝑏}* | 2(𝑤中𝑎的数量) = 3(𝑤中𝑏的数量)}。 如何确保维持该比例？我可以看到...
构造一个图灵机，删除每隔一个输入符号，然后将剩余的字符串合并成一个没有空格的字符串
示例输入：010101，输出：000 示例输入：10011，输出：101 示例输入：11101101，输出：1110 在为这个问题绘制状态图时，我对如何合并输入感到困惑......
语言的下推自动机 L = { a^i b^j c^k | i, j, k >= 0 且 j = i + 2k }
我为这种语言画了PDA图，但还是不行。有人可以帮我吗？我的 PDA 接受“bc”，但它不应该接受。我不知道如何控制该语言的b和c。我的 scala 合作...
任何人都可以告诉我如何实现图灵机吗？ L = Xa^n n >= 0 且 n = 0 + 1 + 2 + 3 +....+ M 可接受的示例： Xa ->(0+1) Xaaa -> (0+1+2) Xaaaa...
DFA 中不可能有多个开始状态，但是如何在具有多个最终状态的 DFA 上实现 Compliment 操作？ 我尝试赞美给定 DFA 的语言，但有多少...
我正在尝试构建一个包含“11”或以“10”结尾的DFA（仅限二进制）。 我尝试执行以下操作： $q2$ 和 $q3$ 是接受状态 状态 0 1 $q0$ $q0$ $q1$ $q1...
我怎样才能设计一个识别这种语言的图灵机？ 01^n01^n0
我一直在努力思考如何实际捕获 0 的数量。 我是否需要使用不同的标记来捕获 0 和 1？或者我是否需要创建新的状态来计算 0 的数量？这个好像不是
我需要解决这个有关泵送引理的练习： 我不知道如何解决这个问题，教授没有解释清楚。 预先感谢。
一个正则表达式，用于表示 { 0,1 } 上所有以“ 1 ”结尾并且其中没有子字符串“ 00 ”的字符串的集合？
就像我说的，我有这个与自动机理论相关的问题.. 可能的解决方案是什么？ 我能想到的是（我知道这可能不是解决方案..） ( 0.1*.1 ) + ( 1*.1 ) 我知道...
我正在尝试编写一个正则表达式来匹配带有 ab 和 ba 实例且仅包含 {a,b} 字母的字符串。 我试图这样做仅 |和 * 运算符。我认为这与...
我一直在研究自动机理论、编译器和计算机科学的基础知识，但有一些基础知识我不明白。 我看到了不同语言的乔姆斯基层次结构......
我正在学习有限自动机和语法测试，我被这个问题困扰： 构造一个生成 L 的语法： L = {a^n b^m c^m+n|n>=0, m>=0} 我相信我的作品应该...
找到语言 L={0,1,2} | 的有限自动机需要包括 1002 1,2 是奇数，0 是偶数
找到一个有限自动机，对于语言 L={0,1,2} 符合以下标准： 该单词必须包含“1002”。 1 出现的次数必须是奇数 ...
找到以下语言的简单语法（又名 s 语法）： L={(ab)2mb :m>=0} [我这样做了，但这是错误的] S-> aASBB|b 一个->一个 B->b
这里有两个问题-> 问题编号 1 = 问题：将以下 ENFA 转换为 DFA [使用直接方法]。 在此输入图像描述 问题编号 2 = 问题：将以下 ENFA 转换为...
我正在做一个问题，我将泵引理应用于 CFL L = {a^nb^nc^n : n >= 0}。这是我正在查看的证明的开始： 假设 L 是 CFL，因此存在泵浦长度 p ...
将给定的 Moore 机转换为 Mealy 机 我目前正在致力于将 Moore 机器转换为 Mealy 机器，并且我不确定我的解决方案的正确性。我非常愿意
设计一个包含所有0和1字符串的PDA，使1的数量是0数量的两倍
在准备期末考试时，我在 J. Hopcroft、R. Motwani、J. Ullman 的《自动机理论、语言和计算》第 222 页上发现了这个问题。 PDA 应该接受其中国家/地区的字符串...
本 pdf 第 5 页的问题。 提供一个识别该语言的 NFA (01 U 001 U 010)* 我认为这是错误的，因为应该有一个额外的开始状态（接受）进入状态 1 fo...