January 28, 2013 1:42 PM Subscribe
What are the best automata (formal language theory) simulators? This is mainly for teaching purposes. I have used JFLAP in past iterations of the class in question, and my google searches suggest this is still the best option, but I was wondering if there is anything newer and better that I'm not finding. Details below.
posted by advil to Education (4 answers total) 3 users marked this as a favorite
Ideal: can do DFAs, NFAs, PDAs, Turing machines, and at least some grammar formalisms. I would love tools that could demo some of the more obscure machines as well (e.g. two-tape turing machines, linear bounded automata, etc) but asking for a lot of these is probably hoping for too much; JFLAP
has the best coverage of any of these apps that I know. I would prefer something cross-platform so students can run it themselves, but will consider anything, even ipad apps if they exist. I'm also interested in hearing about specialized tools that do one or a few kinds of machines very well, or have especially pretty visualization, or whatever.
Also, because this is coming up in searches a lot, I'm not interesting in cellular automata simulators. I'm aware that JFLAP is working on a redesign but the class will be long over by their projected release date.