mucts / dfa

确定有穷自动机,简称DFA。其特征为:拥有一个有限状态集合和一些从一个状态通向另一个状态的边,每条边上标记有一个符号。其中一个状态是初始状态,某些状态是终止状态。但与不确定的有限自动机不同,DFA中不会有从同一状态出发的两条边标记有相同的符号。

1.0.0 2021-01-11 02:33 UTC

This package is auto-updated.

Last update: 2024-09-11 10:43:09 UTC