问题标签 [automaton]

我正在寻找以下字符串模式匹配问题的解决方案。

你有一个接受两个参数的函数：模式和输入——两者都是字符串。

让我们说pattern: aabbaa和input: catcatdogdogcatcat

这些特定参数将被视为匹配，因为 的字符中有一个模式input，并且该模式与 中的单词模式匹配pattern

返回 aboolean以指示匹配的位置。上面给出的示例将返回1.

L = {a^nb^k | 2n >= k}

例如：abb是L的元素，aabbb是L的元素，ε是L的元素，但是babbb不是L的元素，abbb不是L的元素

这样，它返回了一些错误，似乎主要示例是2个字符的字符，例如“++”被“# ++ #”替换，同时接近替换All()“to”## + ## + ## "。

在我的教科书中“在这些情况下，与这些状态相对应的 NFA 存在的线程简单地死了”是什么意思？

在构建表示给定语言的有限状态机时需要考虑的主要问题是什么？我知道有限状态机将字符串作为输入，并且当读取字符串的每个元素时，机器状态会发生变化，直到达到 EOF。如果字符串已被完全读取，则机器处于最终状态之一，则接受该字符串。我不明白的是在构建 FSA 时需要考虑什么（除了它应该接受的字符串，以及每个转换函数的定义。）

我在 UPPAAL 模型检查工具中创建了一些自动机，它们之间有一个对话框。当其中一个发生错误时，必须重置另一个。我不能将所有节点的返回边都放到起始节点，因为我不能为所有可能的错误设置警卫。有没有办法用一个函数或类似的东西来重置自动机？我们可以不通过边去不同的节点吗？我的意思是直接从一个节点跳转到初始节点而不使用边缘。谢谢你！

我现在正在我的大学学习 DFA 和 NFA 自动机，以及如何使用 Java 代码实现其中的一些。

我在这个练习中遇到了一些麻烦：我们有 4 个不同的实验室轮次（T1、T2、T3 和 T4），我们需要编写代码来识别特定字符串（由学生的大学徽章编号和他的名称，例如123321Johnson) 对应于 T2 或 T3。

我们知道：

• T1 轮到在“A”和“K”之间有奇数徽章编号和姓氏的人
• T2 轮到“A”和“K”之间的偶数徽章编号和姓氏
• T3是“L”和“Z”之间的奇数徽章编号和姓氏的轮流
• T4 轮到“L”和“Z”之间的偶数徽章编号和姓氏

我们还知道字符串必须由至少一个数字和至少一个字母组成。

例如，自动机必须接受"1232324Gac"or"1232323Lum"但不接受"121234Lum"or "121233Gac"。

这是我写的代码：

显然，代码不起作用，但这对于显示练习的一般目的很重要。

有人可以帮助我吗？

我只能说逻辑一定包括图灵机中的乘法和除法逻辑。但实际上我无法找出确切的解决方案。

我不知道这个自动机的正式语言和正则表达式是什么：

DFA自动机

我知道'b'或'a'的实例必须是偶数。一开始我以为语言是：

L = {(a^i)(b^j) | i(mod2) = j(mod2) = 0, i,j>=0}

但是自动机可以从'b'开始，所以语言不正确。另外，我发现的正则表达式也不匹配 ((aa)* + (bb) ) -

例如，不能得到 abab。

以下 XML 代码表示类型状态模型。

有人知道一种方法（也许是软件）来可视化它吗？