JFLAP Icon
JFLAP is software for experimenting with formal languages topics.
Free