A mobile app for teaching formal languages and automata. - Carlos H. Pereira; Ricardo Terra (Comput. Appl. Eng. Educ., 2018)