automata 相关问题

在理论计算机科学中,自动机理论是对抽象“数学”机器或系统的研究以及可以使用这些机器解决的计算问题。这些抽象机器称为自动机。 (“自动机”,维基百科)

使用上下文无关语法指定的编程语言如何能够表达图灵机?

我一直在研究自动机理论、编译器和计算机科学的基础知识,但有一些基础知识我不明白。 我看到了不同语言的乔姆斯基层次结构......

回答 2 投票 0

我如何构建生成这种语言的语法?

我正在学习有限自动机和语法测试,我被这个问题困扰: 构造一个生成 L 的语法: L = {a^n b^m c^m+n|n>=0, m>=0} 我相信我的作品应该...

回答 9 投票 0

找到语言 L={0,1,2} | 的有限自动机需要包括 1002 1,2 是奇数,0 是偶数

找到一个有限自动机,对于语言 L={0,1,2} 符合以下标准: 该单词必须包含“1002”。 1 出现的次数必须是奇数 ...

回答 1 投票 0

找到s-语法(简单语法)

找到以下语言的简单语法(又名 s 语法): L={(ab)2mb :m>=0} [我这样做了,但这是错误的] S-> aASBB|b 一个->一个 B->b

回答 2 投票 0

将 ENFA 转换为 DFA 和 ENFA NFA

这里有两个问题-> 问题编号 1 = 问题:将以下 ENFA 转换为 DFA [使用直接方法]。 在此输入图像描述 问题编号 2 = 问题:将以下 ENFA 转换为...

回答 1 投票 0

需要澄清上下文无关语言的泵引理

我正在做一个问题,我将泵引理应用于 CFL L = {a^nb^nc^n : n >= 0}。这是我正在查看的证明的开始: 假设 L 是 CFL,因此存在泵浦长度 p ...

回答 1 投票 0

将给定的 Moore 机转换为 Mealy 机

将给定的 Moore 机转换为 Mealy 机 我目前正在致力于将 Moore 机器转换为 Mealy 机器,并且我不确定我的解决方案的正确性。我非常愿意

回答 1 投票 0

设计一个包含所有0和1字符串的PDA,使1的数量是0数量的两倍

在准备期末考试时,我在 J. Hopcroft、R. Motwani、J. Ullman 的《自动机理论、语言和计算》第 222 页上发现了这个问题。 PDA 应该接受其中国家/地区的字符串...

回答 5 投票 0

NFA 代表语言之星 (01 U 001 U 010)*

本 pdf 第 5 页的问题。 提供一个识别该语言的 NFA (01 U 001 U 010)* 我认为这是错误的,因为应该有一个额外的开始状态(接受)进入状态 1 fo...

回答 1 投票 0

CFL 的泵送引理

问: 证明 L={ww|w ∈ {0,1}*} 不是上下文无关的 我的解决方案: 假设 L 是上下文无关的 设其抽气长度为P 因此, 字符串 = 0^P 1^P 0^P 1^P 设 P=2, S= 00 11 00 11 S 可以整除...

回答 1 投票 0

了解hello_world boost sml状态机库

这里有一个 boost sml C++ 库的 hello world 示例:https://boost-ext.github.io/sml/examples.html#hello-world // $CXX -std=c++14 hello_world.cpp #包括 #包括...

回答 1 投票 0

写出奇数个a、偶数个b的正则表达式?

我有一个关于自动机理论和形式语言的问题。写出奇数个a和偶数个b的正则表达式? 2. Evan a 的个数和 b 的奇数个? 罗...

回答 1 投票 0

设计图灵机的状态表

如果您已经有了算法的伪代码,它们是否有任何有用的指导来描述图灵机的功能? 我正在学习复杂性理论课程,我需要一段时间才能

回答 3 投票 0

正则表达式匹配不含“011”子字符串的 0 和 1 字符串

我正在解决一个问题(来自 Hopcroft、Motwani 和 Ullman 的《自动机理论、语言和计算机简介》),编写一个正则表达式来定义由所有字符串组成的语言...

回答 3 投票 0

这是否是制作接受给定正则语言的前缀语言的 DFA 的通用方法?

可以安全地概括一下,如果我们给定一个 DFA 说 M ,我们可以获得前缀语言的 DFA (请注意,给定语言的前缀语言由所有字符串 u 组成,使得 s...

回答 2 投票 0

这个 DFA 是否满足给定语言的补集?

我收到了这个挑战: 给定 𝐿 = { 𝑤 ∊ {0, 1}* :01 是 𝑤 } 的子串 表现𝐿赞美是有规律的。 我的理解是,对于这种语言的赞美,DFA 需要拒绝 01

回答 1 投票 0

您能否验证我的 DFA 是否满足给定的语言?

问题: 给定 L = { w ∊ {0, 1}^* : 01 是 w 的子串} 表现出L的赞美是有规律的。 解决方案 所以基本上这种语言的优点就是 01 个子串在我们的 DFA 中被拒绝。 我在这里...

回答 1 投票 0

TOC问题:上下文无关语法设计

我想为一种由以下定义的语言设计 CFG L = { w | {a,b,c}* 其中 w= a^i b^j c^k 且 i+j>k } i+j=k 的情况很容易,但是我无法弄清楚 i+j>k 的情况如何。

回答 1 投票 0

Implementación del analizador léxico mediante un DFA para analizar expresiones aritméticas,[关闭]

制作一个程序,接收包含算术表达式和注释的文本文件作为输入,并返回一个包含每个找到的标记的表,按照它们被发现的顺序和指示...

回答 0 投票 0

是 L = {a^n b^m | n!=3m+1,n,m>=1} CFG? [关闭]

是 L = {a^n b^m | n!=3m+1,n,m>=1} CFG? 我试图为它编写语法或 PDA,但我做不到。任何帮助都会得到帮助。

回答 0 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.