Costa, Yandre, Rafael C. de Meneses, and Flavio R. Uber. " A Tool to Support the Teaching of Theory of Computation." Proceedings of the 16th Workshop on Computing Education, Belém/PA, 2008. SBC, 2008, pp.208-217.