machine3.json

{
  "description":"This DFA accepts strings that contain the substring 'jeff' or 'ruben'.",
  "states": ["q0","q2","q3","q4","q5","q6","q7","q8"],
  "alphabet": ["j","e", "f", "r", "u", "b", "n"],
  "transitions": {
    "q0": {
      "j": "q1",
      "e": "q0",
      "f": "q0",
      "r": "q5",
      "u": "q0",
      "b": "q0",
      "n": "q0"
    },
    "q1": {
      "j": "q1",
      "e": "q2",
      "f": "q0",
      "r": "q5",
      "u": "q0",
      "b": "q0",
      "n": "q0"
    },
    "q2": {
      "j": "q1",
      "e": "q0",
      "f": "q3",
      "r": "q5",
      "u": "q0",
      "b": "q0",
      "n": "q0"
    },
    "q3": {
      "j": "q1",
      "e": "q0",
      "f": "q4",
      "r": "q5",
      "u": "q0",
      "b": "q0",
      "n": "q0"
    },
    "q4": {
      "j": "q4",
      "e": "q4",
      "f": "q4",
      "r": "q4",
      "u": "q4",
      "b": "q4",
      "n": "q4"
    },
    "q5": {
      "j": "q1",
      "e": "q0",
      "f": "q0",
      "r": "q5",
      "u": "q6",
      "b": "q0",
      "n": "q0"
    },
    "q6": {
      "j": "q1",
      "e": "q0",
      "f": "q0",
      "r": "q5",
      "u": "q0",
      "b": "q7",
      "n": "q0"
    },
    "q7": {
      "j": "q1",
      "e": "q8",
      "f": "q0",
      "r": "q5",
      "u": "q0",
      "b": "q0",
      "n": "q0"
    },
    "q8": {
      "j": "q1",
      "e": "q0",
      "f": "q0",
      "r": "q5",
      "u": "q0",
      "b": "q0",
      "n": "q4"
    }
  },
  "start": "q0",
  "accept": ["q4"],
  "inputs": ["jeff", "ruben", "jeeeeff", "ruuuben", "jefrubjeff"]
}