finite-automata

0热度

1回答

我使用graphviz根据很多人给我的建议，但我遇到了一个问题。我想使用Format.module在ocaml中写一个点，并且我有一个记录，其中有五个字段定义了一个自动机，其中包括由列表int*char*int表示的转换以及由int列表表示的最终状态。第一个字段是一个int的初始状态。我还定义了一个函数成员，它接受一个参数并测试它是否是给定列表的成员。我该怎么做，以便我可以编写一个完整的点来识别初

1热度

2回答

查找有限自动机（Prolog的）接受

为了表示中号finite automata在序言我使用以下谓词的所有K-长度字： states /*states(Q) <=> Q is the list of automata's states*/ symbols /*symbols(Sigma) <=> Sigma is the list of automata's input symbols*/ transition /*trans

0热度

1回答

这甚至可以用FSM创建吗？

我有一个问题，要求我创建一个有限状态机，它只接受以1000结束的字符串，我不认为这是可能的，因为FSM如何知道字符串结束的时间？或者我错过了什么？

-1热度

1回答

提供生成以下语言的上下文无关文法

提供生成以下语言的上下文无关文法。在所有部分中，字母表Σ是{x，s}。 {w | w开始并用不同的符号结束}

1热度

2回答

“语言的DFA”的定义

我刚刚开始学习本学期的计算理论，并被“DFA for a language”一词所困惑。如果要求为某些二进制字符串L的集合构造一个DFA，是否意味着要找到L（M）= L或者仅仅是$ L（M）\ supset L $的DFA M？

-2热度

1回答

用于前缀匹配的自动机

使用开源的Java自动机库，例如：org.apache.lucene.util.automaton或dk.brics.automaton，如何构建用于前缀匹配的自动机？例如：由字符串集合[“lucene”，“lucid”]创建的自动机，当给定“luc”或“luce”时将匹配，但当给出“lucy”或“lucid dream” ”。

1热度

1回答

转换DFA到RE

我使用JFLAP转换一个DFA到RE的语言 “即使a和奇b”，如图这最后一步是我不太清楚在图怎么得到这个最终RE 最终RE ((ab(bb)*ba+aa)*(ab(bb)*a+b)(a(bb)*a)*(a(bb)*ba+b))*(ab(bb)*ba+aa)*(ab(bb)*a+b)(a(bb)*a)* 我的困惑是在学期a(bb)*ba+b（Q1到Q0），为什么在最后表达

0热度

1回答

这个DFA的英文说明是什么？

练习一些DFA和NFA并遇到了这个。不知道如何给英文描述，更不用说正则表达式。

-1热度

1回答

填写一个自动机与用户输入ocaml给出的元素

我希望能够让用户输入一个包含5个字段的自动机类型的变量，这当然需要我找到一种方法来接受用户输入来填充列表这里是我的代码： type automate = { etat_initial : int; ensemble_des_etats : int list; alphabets : char list; transitions :(int*char*int) list; etats_fi

0热度

1回答

两个正则表达式的交集

感谢您提前提供任何帮助！我在学校自动机课程和我的生活不能找出两个正则表达式的交集。我在网上查看了这里，发现我可以为两种语言创建NFA，单独赞美它们然后联合（ise） - 在这里不确定英语。接下来，我恭维工会找到后续的DFA，并从中找到正则表达式，这将是交集正则表达式。但是，我正在努力解决所有这些问题。我有一个问题在下面，我已经改变了表达式，而不是简单地问一个教程问题。两者都使用相同的字母表：