Teaching-learning methodology for formal languages and automata theory | IEEE Conference Publication | IEEE Xplore