Web based formal language and automata program.