摘要:
DFA Minimalization DFA最小化的第一步就是消除unreachable states。这个可以通过如下算法完成: let reachable_states:= {q0}; let new_states:= {q0}; do { temp := the empty set; for 阅读全文
摘要:
Regular Expressions Equivalence 1. Construct NFA lambdas corresponding to each RE using Kleene's theorem 2. Construct DFAs for each using the subset/p 阅读全文