SVG	PNG	Parse tree	JSON version	DOT version
Use the DSL notation for FSMs below. Don't bother with the sm`` part.