Icon
 

Construction of DFA using Lazy evaluation method VI semBCA