See ./finite_automata.html and ./home.wiki .