automata 相关问题

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

PDA的L = {a ^ nb ^ m:m≥n,m-n是偶数}

为以下语言设计PDA L = {a ^ nb ^ m:m≥n,m-n是偶数}。

回答 1 投票 0

如何理解DFA(有限自动机)?

指示在处理以下每个输入字符串后DFA将结束的状态。注意:标记为“空字符串”的输入实际上是空字符串 - 在...中没有字母的字符串

回答 2 投票 0

正则表达式语言{a b},其中包含奇数长度字符串,并且必须包含至少一个“b”

我已经尝试了以下解决方案,但它可能没有覆盖所有字符串b(aa + ab + ba + bb)* +(aa + ab + ba + bb)* b这里+表示OR操作,*表示重复。有人可以调试上面的正则表达式吗?

回答 2 投票 0

转换图与有限自动机之间的区别

我不知道转换图和有限自动机之间的区别是什么。当我谷歌搜索“转换图”时,我得到状态图作为结果。 ......之间有区别吗?

回答 4 投票 2

DFA: - 所有字符串,使得每个五个连续符号的块包含至少两个0

我想为语言构造一个DFA:所有字符串的集合,使得每个五个连续符号的块包含至少两个0。如何记录最近5个条目。总之如何解决......

回答 3 投票 1

如果L的字符串由0组成,则仅证明L *是常规的

Hopcroft和Ullman的自动机理论导论中的问题4.2.10。原始语言L也可以是非常规的。假设我们得到0 ^(2 ^ n + 5),n> = 0的函数,你怎么证明......

回答 1 投票 1

“如何制作{w∈{a,b} * |的图灵机2na(w)= 3nb(w)}。我的问题是如何应用条件“

这是我对模块的一项任务。我理解图灵机,对我来说问题是如何确保比例保持不变。如果我们可以检查每一个,我可以看到如何检查这个...

回答 1 投票 1

Python正在读取我的一个类作为变量并给出引用错误

我有一个if / elif语句将对象附加到堆栈中。该代码适用于语句的前3个部分,但是为else部分提供了错误。我尝试了一些不同的东西,但......

回答 1 投票 0

如何通过NFA将此自动机转换为正则表达式

我需要通过将DFA(确定性有限自动机)转换为通用NFA(非确定性有限自动机)将此有限自动机转换为正则表达式。怎么应该去做呢? ...

回答 3 投票 0

我对此DFA接受的语言描述是什么?

DFA的图片:https://ibb.co/LCW99q9根据我的理解,任何字符串都被接受,只要它包含子字符串“abc”;之前的任何事情都没关系,之后的一切都没问题,包括“λ”。我......

回答 1 投票 0

正则表达式[1(0 1 * 0)* 1] * DFA

这个正则表达式接受链条的条件是什么?

回答 3 投票 -5

非确定性有限受体基本问题

在学习自动课堂讲座时,我在nfa有一个非常基本的问题。 Q0-a> Q1-lambda> Q2如果图形看起来那样,(我还不能发布图像,FYI Q0-a> Q1表示有边缘(q0,q1)...

回答 1 投票 0

图灵机元素差异问题

所以语言如下:E = {#x1#x2 ...#xi其中字母表是{0,1} *并且没有字符串可以是另一个字符串的副本}我正在尝试为此创建状态图,但即使在那之前......

回答 1 投票 0

设计DFA接受可被7整除的十进制字符串

我是一名学习DFA的学生正在寻找可以找到十进制数是否可被7整除的DFA。今天我已经解决了数字2,3,4,5,6,8,9的可分性问题,但我不能解决这个问题 ...

回答 1 投票 1

Union和Intersection可以成为正则表达式的一部分吗?

我正在学习AUTOMETA的一些概念。我已经在DFA和RE上做过练习但是我脑子里有一个问题我搜索过但是不满意所以我想问:UNION或INTERSECTION可以成为其中的一部分......

回答 1 投票 1

认识到给定的语言是否规则

L1 = {xy | x属于L而y不属于L,L是正则}是L1正则? a / c对我来说x属于L所以它是有规律的,但因为y不属于L,所以它可以是常规的,但是答案是......

回答 1 投票 0

$ E_ {LBA} $是图灵可识别的语言吗?

我知道$ E_ {LBA} $ = {<M> | L(M)= \ emptyset} $是一种不可判定的语言,但它是否也可识别?似乎它的补码是可识别的,因为它可以枚举所有字符串和......

回答 1 投票 2

图灵机辅助

我一直在设计图灵机,我最近解决的是一种语言L = {w:na(w)= nb(w)},其中w中的a的数量等于b的数量在w。 ...

回答 1 投票 2

主要的TM是可判定的吗?

字母Σ上的语言L主要是素数,当且仅当对于每个长度l,如果l是素数,则长度l的大多数字符串属于L,但如果l是复合,则不属于L ...

回答 1 投票 1

接受字符串的正则表达式,其中每两个零后跟一个

所以我正在寻找一种方法来编写一个接受所有字符串的正则表达式,但是在包含两个连续零的任何字符串中,1必须立即跟随ex。它会接受0 10 01 0010 1111 11001001 ......

回答 3 投票 1

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