当前位置: 首页 > 知识库问答 >
问题:

有限状态机程序

屠杰
2023-03-14

我需要设计一个有效的决策过程来确定非确定性有限状态机接受的语言是否为空。

我知道,若从初始状态到最终状态并没有路径,机器就不会接受字符串

但我正在努力证明这一点或设计程序。

谢谢

共有1个答案

庞阳波
2023-03-14

好的,就像你说的,你从初始状态开始进行深度优先或广度优先搜索,如果遇到接受状态,你会打印“否”。如果搜索结束时没有打印“否”,请打印“是”。

如果您使用DFS作为搜索引擎,那么证明这一点很容易。然后,在进行搜索时,跟踪到目前为止在分支上遇到的符号序列。如果您进入接受状态,您看到的字符串就是DFA接受的字符串;你可以把它吐出来,作为你对语言空洞的反例。没有比反例更好的证据了。

 类似资料:
  • 概述 Javascript Finite State Machine函数库 参考链接 概述 有限状态机(Finite-state machine)是一个非常有用的模型,可以模拟世界上大部分事物。 简单说,它有三个特征: 状态总数(state)是有限的。 任一时刻,只处在一种状态之中。 某种条件下,会从一种状态转变(transition)到另一种状态。 它对JavaScript的意义在于,很多对象可

  • 概述 FSM (有限状态机) 可以mixin到akka Actor中,其概念在Erlang 设计原则中有最好的描述。 一个 FSM 可以描述成一组具有如下形式的关系 : State(S) x Event(E) -> Actions (A), State(S') 这些关系的意思可以这样理解: 如果我们当前处于状态S,发生了E事件,则我们应执行操作A,然后将状态转换为S’。 一个简单的例子 为了演示F

  • 每当你阅读一本关于解析的书,都有一个可怕的章节,关于有限状态机(FSM)。他们对“边”和“节点”进行了详细的分析,每个可能的“自动机”的组合被转换成其他自动机,坦率地说,它有点多了。FSM 有一个更简单的解释,使得它们实用并且可理解,而不会违背相同主题的纯理论版本。当然你不会向 ACM 提交论文,因为你不知道 FSM 背后的所有数学知识,但如果你只想在应用程序中使用它们,那么它们就足够简单了。 F

  • 这里的“自动机”指的是”确定有限状态自动机”。而自动机是信息学奥林匹克竞赛、计算机科学中被广泛使用的一个数学模型,其思想在许多字符串算法中都有涉及,学习自动机有助于理解上述算法,但是学习自动机前一定要先了解基础图论的相关知识,这样才更好理解自动机。 自动机(确定有限状态自动机)是由一个非空有限状态的集合Q、一个输入字母表 Σ(非空有限字符的集合)、一个转移函数(单值映射)、一个开始状态、一个接受状

  • 如果我必须用一个状态图来画一个确定性有限自动机,以接受一种语言,例如{λε{a,b}*:λ这个词包含a的偶数和b的奇数,我怎么知道我有多少个状态?

  • 所以,由于我是一个电工和程序员,我认为我对FSM设计模式非常了解。它是: 我们有一组, 每个都知道,当程序位于此节点时,要做什么, 每个的引用,并且知道在什么条件下,他应该继续到选定的节点。 在或节点后,到下一个选择的节点 我想,这对我来说很清楚。尽管最近,当我在实现一个状态机时,一个人告诉我,它实际上是一个稍微修改过的责任链(不确定他是否正确),并且,我所做的/所拥有的是: 一组(不表示线性或树