{
  "name": "matcher",
  "rankdir": "LR",
  "start": "scan",
  "accepting": ["found"],
  "states": [
    {"id": "scan", "label": "scan"},
    {"id": "l", "label": "l"},
    {"id": "la", "label": "la"},
    {"id": "lam", "label": "lam"},
    {"id": "lamb", "label": "lamb"},
    {"id": "lambda", "label": "lambda"},
    {"id": "found", "label": "found", "accepting": true}
  ],
  "transitions": [
    {"from": "scan", "to": "scan", "label": "Σ"},
    {"from": "scan", "to": "l", "label": "l"},
    {"from": "l", "to": "l", "label": "l"},
    {"from": "l", "to": "la", "label": "a"},
    {"from": "la", "to": "lam", "label": "m"},
    {"from": "lam", "to": "lamb", "label": "b"},
    {"from": "lamb", "to": "lambda", "label": "d"},
    {"from": "lambda", "to": "found", "label": "a"},
    {"from": "found", "to": "found", "label": "Σ"}
  ]
}