JFLAP version 8.0