machine2.json

{
  "description":"This DFA accepts binary multiples of 3.",
  "states": ["q1","q2","q3","q4"],
  "alphabet": ["0","1"],
  "transitions": {
    "q1": {
      "0": "q1",
      "1": "q3"
    },
    "q2": {
      "0": "q2",
      "1": "q3"
    },
    "q3": {
      "0": "q4",
      "1": "q2"
    },
    "q4": {
      "0": "q4",
      "1": "q2"
    }
  },
  "start": "q1",
  "accept": ["q2"],
  "inputs": ["0000", "0011", "0110", "010", "1100011"]
}