The big white box to the left is the FSM designer. Here's how to use it:
Add a state: double-click on the canvas
Make accept state: double-click on an existing state
Add an arrow: shift-drag on the canvas Either from state to state or, to create the start
state, from canvas to state
Move something: drag it around
Delete something: click it and press the delete key or shift + backspace
Subscripts: all characters directly following an underscore (without white spaces) will be
subscripted
Example: "a_123" will be exportet as "a_{123}" and "a_abc1" as "a_{abc1}"
Unfortunately, UniCode does not support subscripting of all characters, so just subscripts of only numbers
will be visualized on the canvas.
Greek letters: put a backslash before it (like "\beta"), "@e" is a shortcut for epsilon
Emptyset: typing "\es" will convert to the empty set (∅)
Union: typing "cup" will convert to the union symbol (⋃)
Arrows: "->" will be converted to "→"
New line: either press the "Enter" key to enter a new line or manually type "\n"
Blank Symbol: either "blk" or "blank" will be replaced with ⊔
This was made in HTML5 and JavaScript using the canvas element.