Skip to content

QUICKSTART

Jump to bottom
Christopher William Schankula edited this page Mar 1, 2020 · 9 revisions

Quick Start Guide

This is a fast, concise guide to get anyone up to speed with using finsm.io. There will be links in the corresponding subsections to the more detailed guide pages in this wiki.

Build Mode

See: Build-Mode

Create and edit your state machine here. The two primary objects you can manipulate are states and transition arrows.

Operations on states:

  • Create: Shift-Click an empty location
  • Modify label: Shift-Click the state label
  • Move: Left-Click the state, then drag
  • Delete: Left-Click the state to select it and press D
  • Make final state: Left-click an existing state and press F

Operations on transitions (arrows):

  • Create new transition: Hover your mouse on the edge of a state When a '+' icon appears, drag to another state
  • Self-loops: Same as above, but just drag back to your initial state
  • Modify label: Shift-Click the arrow label
  • Move: Left-Click the arrow, then drag the blue dot
  • Delete: Left-Click the arrow and press D

Simulate Mode

See: Simulate-Mode

Test your state machine here. The main areas to customize your test are selecting start states, changing machine types and modifying tapes.

Changing machine types can be done by selecting the machine you want on the top left of your screen.

Selecting start states work on a toggle basis:

  • If your machine is an NFA, pressing a state will toggle on/off the start state. A black outline indicates the state is a start state.
  • Only one state can be a start state for DFAs, so pressing a state will automatically make that state a start state.

Tapes are where you enter input and run it on your machine.

  • Creating a new tape: Press the + button on the bottom of all tapes.
  • Deleting a tape: Press the trash icon to the right of the desired tape
  • Modifying a tape: Press the pencil icon to the right of the desired tape. Enter input according to the LaTeX keyboard displayed. Delete input by pressing backspace.

Export Mode

See: Export-Mode

Export your state machine here. This follows a three-step process:

  1. Select the export format you want.
  2. Press the Export Button (Or fix mistakes in your machine if there is an error, and you can't export)
  3. Copy the code that pops up into your corresponding document.

Misc.

See: Keybindings, Epsilon-Transitions and Fasterfying-Development

  • Undo and Redo are supported. Press Ctrl+Z/Ctrl+Shift+Z respectively.
  • Snap-to-grid mode allows you to arrange states and arrows neatly. Press the grid button on the bottom right of your screen.
  • Arrows can have more than one transitions. Separate state labels with commas, e.g. "1, 2".
  • Arrows accept epsilon transitions. Enter "\epsilon" on the transition label.

Clone this wiki locally