output.json

{"count":0,"pattern":"[a-gcl]","formatted_pattern":"[a-gcl]","ruby_output":"0:[exact1:a]\n2:[exact1:b]\n4:[push:(+7)]\n9:[exact1:b]\n11:[jump:(-12)]\n16:[exact3:ccc]\n20:[end]\n","dot_notation":"digraph Automaton {\n  rankdir = LR;\n  0 [shape=circle,label=\"0\"];\n  0 -> 3 [label=\"c\"]\n  1 [shape=doublecircle,label=\"1\"];\n  2 [shape=circle,label=\"2\"];\n  2 -> 8 [label=\"ε\"]\n  3 [shape=circle,label=\"3\"];\n  3 -> 4 [label=\"c\"]\n  4 [shape=circle,label=\"4\"];\n  4 -> 1 [label=\"c\"]\n  5 [shape=circle,label=\"5\"];\n  initial [shape=plaintext,label=\"5\"];\n  initial -> 5\n  5 -> 7 [label=\"a\"]\n  6 [shape=circle,label=\"6\"];\n  6 -> 2 [label=\"b\"]\n  7 [shape=circle,label=\"7\"];\n  7 -> 8 [label=\"b\"]\n  8 [shape=circle,label=\"8\"];\n  8 -> 6 [label=\"ε\"]\n  8 -> 0 [label=\"ε\"]\n}\n","exponential":{},"super_linear":{}}