Welcome to Finit Automat

Flask tool that manages the behavior of a finite automata. Generate photos of the automata through calls to the api with a json that describes the automata

Prerequisites

pip install -r requirements.txt

install Graphviz

https://graphviz.org/download/

How generate json of automaton

Json describes finit automaton

{
    "deterministic":true,
    "alphabet": [
      "a",
      "b"
    ],
    "states": [
      {
        "state": 0,
        "final": false,
        "start": true,
        "morphs": {
          "a": 1,
          "b": 2
        }
      },
      {
        "state": 1,
        "final": false,
        "start": false,
        "morphs": {
          "a": 3,
          "b": 5
        }
      }
    ]
  }

contributors

Fran Martin

💻