A Finite Automaton Editor

This Demonstration allows you to edit the graphical representation of an automaton by manipulating its transition matrix. Given one of three choices of an alphabet and a number of states (from 2 to 8), the user is presented with a series of buttons (in color) depicting the transition matrix of a randomly chosen automaton of that kind. Each button changes cyclically through each of the possible states or "nothing", allowing you to handle a wider class than finite-state automata (transition graphs). Immediately to the right of the transition matrix there is a column of toggles to define the acceptor states, which are depicted using double circles in the graph. A series of controls are included to adjust the resulting graph.

SNAPSHOTS

  • [Snapshot]
  • [Snapshot]
  • [Snapshot]
  • [Snapshot]
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.