GUI Editor and Visualizer for Finite Automata

Members

1902089 Hardik Maheshwari
1902140 Aniruddh Rathi
1902147 Sradhanjan Saha
1902179 Mohit Varma

Group Number: 22
Guide: Prof. Sakshi Surve

Abstract

The main aim of the project is to build an easy to use Graphical User Interface to edit and visualise Finite Automata.
Users can use drag and drop features to generate automata diagrams without writing any markup.
The diagrams can also be run to demonstrate the working of the automata.

Problem Statement

To create a web based solution where a user can design a finite automata in a most easy and effective way and check his/her inputs using the inbuilt simulator.

Literature Review

FSM Simulator
JFLAP

FSM Simulator

fsm simulator

Limitations

FSM must be defined with markup
Difficult to edit FSM

JFLAP

jflap

Limitations

Has to be run locally with Java
Users cannot share designed automata easily

Example

Finite Automata

Transition Table

State 1 2 Output

State	`1`	`2`	Output
`q0`	`q1`	`q2`	-
`q1`	`q1`	`q3`	`0`
`q2`	`q1`	`q2`	`1`
`q3`	`q2`	`q2`	`1`

q0

q1

q2

q1

q3

0

q2

q1

q2

1

q3

q2

1

Technologies

HTML 5
CSS 3
JavaScript
VueJS
TypeScript

References

T. Singh, S. Afreen "Automata Simulator : A mobile app to teach theory of computation." sci-hub.se
H. Dershem and R. McFall. "Finite State Machine Simulation in an Introductory Lab." academia.edu
S. Rodger, J. Lim and S. Reading. "Increasing Interaction and Support in the Formal Languages and Automata Theory Course" academia.edu
T. Finley and S. Reading. "Turning Automata Theory into a Hands-on Course" academia.edu