Build DFAs only once for speed
Implement next button