【发布时间】：2017-04-19 14:07:52
【问题描述】：
大家好，你能帮我解决这个问题吗，我自己无法解决 考虑一种在字母表 Σ={a,b,c} 上的语言，所有带有 a's 的字符串都不会在 b's 之前和 c's 之后。设计和实现一个可以接受这种语言的 DFA？
谢谢你:)
【问题讨论】：
-
看来你是在要求我们做你的功课。
-
这不是作业，它是我最终项目文档的一部分，我无法解决它:)
【发布时间】：2017-04-19 14:07:52
【问题描述】：
我不明白这些问题，您想要一个以 c、a、b 结尾的 dfa 吗？还是以例如只有 a 结尾的 dfa 是正确的？ 对于第一个例子，dfa 是这样的：
- q0 -> 初始状态
- 使用 c 从 q0 到 q1
- 使用 c 从 q1 到 q1
- 从 q1 到 q2 有一个
- 使用 b 从 q1 到 q0
- 从 q2 到 q2 用 a
- 使用 b 从 q2 到 q3
- q3 --> 最终状态
- 使用 b 从 q3 到 q3。
【讨论】：
-
一个 DFA，它接受所有带有 a 的字符串，其前面不带 b 且不带 c
-
好的，但只有一个，是否被接受？还是 cccccaaaaaabb 被接受？
-
cccccaaaaaabb 也被接受，所有以 C 开头并以 B 结尾的字符串都被接受，之后我必须编写代码来描述这个 DFA
-
您必须更具体。只有一个被接受？出租车被接受？ acbcab 被接受了吗？
-
如果你想要一个只接受 c^n a^n b^n 且 n>=1 的 dfa 就是我写的 dfa。