bb schema

{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "type": "object",
  "properties": {
    "initial_state": {
      "type": "string"
    },
    "halt_state": {
      "type": "string"
    },
    "states": {
      "type": "object",
      "patternProperties": {
        "^[A-Z]$": {
          "type": "object",
          "properties": {
            "0": {
              "type": "object",
              "properties": {
                "write": {
                  "type": "integer"
                },
                "move_dir": {
                  "type": "string",
                  "enum": ["L", "R"]
                },
                "next_state": {
                  "type": "string"
                }
              },
              "required": ["write", "move_dir", "next_state"]
            },
            "1": {
              "type": "object",
              "properties": {
                "write": {
                  "type": "integer"
                },
                "move_dir": {
                  "type": "string",
                  "enum": ["L", "R"]
                },
                "next_state": {
                  "type": "string"
                }
              },
              "required": ["write", "move_dir", "next_state"]
            }
          },
          "required": ["0", "1"]
        }
      },
      "additionalProperties": false
    }
  },
  "required": ["initial_state", "halt_state", "states"]
}