JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)