automata

0热度

4回答

如何n^n b^n其中n> = 1是不规则的？

这是我试过的简单有限自动机，我做错了什么？

automata dfa pumping-lemma 2015-12-28

---

3热度

1回答

语言编译器是否使用复杂的DFA来接受程序？

我正在阅读计算理论。我没有编程编程的实际经验。 因此，我想到了C或Java编译器是否使用巨大的DFA来验证程序（TOC中的字符串）？ 编译器是DFA的实际实现吗？

compiler-construction automata 2015-09-30

---

3热度

1回答

正则表达式0 * 1 * 1 + 11 * 0 * 1 DFA

表达式“0 * 1 * 1 + 11 * 0 * 1”是否被以下自动机接受？ 由于表达产生字符串“1”结束，我相信会自动接受它。 但是，我在其中一个参考文献中找到了答案。有人可以请澄清与解释？ 注意：+表示OR操作。

regex automata dfa 2015-10-06

---

0热度

1回答

Tsetlin Automata中增加状态

Tsetlin Automatas中状态数量增加的影响是什么？学习速度和准确度都会提高吗？

artificial-intelligence automata 2015-10-06

---

0热度

1回答

TOC中的{a^n b^n c^n}的恭维

正如我们所知，语言{a^n b^n c^n}不是CFL的sigma={a,b,c}，那么我很想知道它的补充。会不会是cfl？ 请让我知道我错了。据我称赞应该是{a^i b^j c^k | i!=j or j != k}工会(a+b+c)*cba(a+b+c)*。

automata 2016-01-28

---

-1热度

1回答

什么是电子关闭（r）在以下NFA

对不起，我不能在这里提供图片...我无法上传图片...所以..我会给出问题的转换表。 (S/I)....a...b.....c.......e(elipson) p>.......{p}.....{q}...{r} ..¤(phi) q>.......{q} ....{r} ..¤.... {p} r(final)>..{r}...¤....{p}....{q} 这里¤是班派

closures automata nfa epsilon 2015-10-23

---

0热度

1回答

Java中两个状态机之间的通信

我一直在使用一个简单的eclipse插件来创建可视状态机，称为statecharts，它也使用Java代码来工作。我的总体目标是让两台状态机通过套接字互相通信并交换数据并根据这些数据进行转换，例如客户端 - 服务器通信。 在开始时，我使用简单的同步客户端 - 服务器代码，但显然使用同步方法无法提供帮助;正确的方法是连续轮询队列中的数据。我现在试图使用Java NIO这似乎很有前途，但不幸的是在第一

java automata finite-state-machine statechart 2015-10-26

---

1热度

1回答

如何比较两个LTL？

如何比较两个LTL以查看是否可以相互抵触？我问这是因为我有一个分层状态机和描述每个状态行为的LTL。我需要知道本地零担可以抵制全球零担。我在文章'Feature Specification and Automated Conflict Detection'中看到，如果L（f）交点L（g）为空，则两个LTL属性f和g不一致。这正是用f作为程序和作为属性的模型检查问题。谁能帮我这个？如何将LTL f转

automata formal-verification model-checking spin promela 2015-11-02

---

4热度

2回答

正则表达式到DFA

有人能告诉我附加的DFA是否正确？ 我想给予DFA为具有字母Σ语言= {A，B} 我需要DFA此----> A = {ε，B，AB}

regex finite-automata automata dfa automata-theory 2015-09-24

---

3热度

1回答

使用Pair Table方法减少DFA

我正在学习如何使用Pair Table方法（系统缩减方法）来减少DFA的使用次数。这里是我们希望减少的DFA。 的第一步是在表中铺陈DFA： 0 1 q0 {q0, q3} {q1} q1 {q2} {q2} q2 EmptySet {q2} {q0, q1} {q0, q1, q3}

automata dfa 2015-09-24

---