确定性/非确定性有限自动机

Question

我刚来这地方。 我目前在理解DFA和NFA时遇到一些困难。 我有一张图纸，我无法：

-区分是DFA还是NFA

-正式规格

-如何使用GNFA算法给出正则表达式以获得最大标记？

如果我能够学习并获得一些有关如何理解这一点的解释，我将不胜感激。

在此先感谢您的宝贵时间。

Answer 1

DFA是确定的。 NFA不确定。 通过查看状态图的箭头或过渡，可以轻松查看其状态图是DFA还是NFA。

在DFA中，每种类型的转换功能都是通过它将接受的语言字母中的符号来记录的。 即，每个符号将具有固定的过渡，而在NFA中，某些符号可能具有多个过渡，或者可能没有过渡。

NFA具有以下属性：

1. 无需阅读任何输入符号即可采取措施的能力
2. 状态可能在特定符号上没有过渡
3. 能够在给定符号上转换为多个状态

对于图像，假设您的字母是字符{a，b}，则可以看到它的类型。 你知道为什么吗？ 有些状态在某些符号上没有过渡。

GNFA有点复杂。 其思想是可以将它们转换为正则表达式。 您可以在线搜索有关该证明的信息。 您也可以在线搜索DFA和NFA的正式定义。

资料来源：我的CS理论课和https://courses.engr.illinois.edu/cs373/sp2013/Lectures/lec04.pdf