mucts/dfa

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

1.0.0 2021-01-11 02:33 UTC

This package is auto-updated.

Last update: 2024-11-11 11:03:49 UTC