Editing Automata theory (section)

==Automata simulators==
Automata simulators are pedagogical tools used to teach, learn and research automata theory. An automata simulator takes as input the description of an automaton and then simulates its working for an arbitrary input string. The description of the automaton can be entered in several ways. An automaton can be defined in a [[Symbolic language (programming)|symbolic language]]  or its specification may be entered in a predesigned form or its transition diagram may be drawn by clicking and dragging the mouse. Well known automata simulators include Turing's World, JFLAP, VAS, TAGS and SimStudio.<ref>{{cite journal|last1= Chakraborty|first1= P.|last2= Saxena |first2= P. C.|last3= Katti|first3 = C. P.|year = 2011|title = Fifty Years of Automata Simulation: A Review|journal =ACM Inroads |volume =2|number= 4|pages =59–70|url = http://dl.acm.org/citation.cfm?id=2038893&dl=ACM&coll=DL&CFID=65021406&CFTOKEN=86634854|doi = 10.1145/2038876.2038893|s2cid= 6446749}}</ref>