Bootstrap

有穷自动机 DFA(确定)和NFA(不确定) 原创

K 状态集合,有限集合
;