OFLAT web-based platform to support courses on Formal Languages and Automata Theory http://ctp.di.fct.unl.pt/FACTOR/OFLAT/