Rough sketch for a flexible JSON format to store and exchange state automata.

Automaton JSON

  {
    "start": "State0",

    "alphabet": {
      ...
    },

    "symbols": {
      "aA": {
        
      },
    },

    "states": {
      "State0": {
        "matches": "aA",
        ...
      },
      "42": {
        "matches": null,
        ...
      },
     
    },

    "transitions": [
      {
        "src": ...,
        "dst": ...,
      }
    ],
  }