automata.json

{"states": ["q0", "q1", "q10", "q11", "q12", "q13", "q14", "q2", "q3", "q4", "q5", "q6", "q7", "q8", "q9"], "alphabet": ["\\n", " ", ",", ".", "0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "A", "B", "C", "D", "E", "F", "G", "H", "I", "J", "K", "L", "M", "N", "O", "P", "Q", "R", "S", "T", "U", "V", "W", "X", "Y", "Z", "a", "b", "c", "d", "e", "f", "g", "h", "i", "j", "k", "l", "m", "n", "o", "p", "q", "r", "s", "t", "u", "v", "w", "x", "y", "z"], "transition": {"q0": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q0", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q0", "y": "q0", "e": "q0", "l": "q0", "A": "q0", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q1": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q0", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q2", "y": "q0", "e": "q0", "l": "q0", "A": "q0", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q2": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q0", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q0", "y": "q0", "e": "q0", "l": "q0", "A": "q3", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q3": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q4", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q0", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q0", "y": "q0", "e": "q0", "l": "q0", "A": "q0", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q4": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q5", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q0", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q0", "y": "q0", "e": "q0", "l": "q0", "A": "q0", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q5": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q0", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q0", "y": "q0", "e": "q0", "l": "q0", "A": "q0", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q6", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q6": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q7", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q2", "y": "q0", "e": "q0", "l": "q0", "A": "q0", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q7": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q0", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q0", "y": "q0", "e": "q0", "l": "q0", "A": "q0", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q8"}, "q8": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q0", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q0", "y": "q0", "e": "q0", "l": "q0", "A": "q0", "k": "q0", "r": "q9", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q9": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q0", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q0", "y": "q0", "e": "q10", "l": "q0", "A": "q0", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q10": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q11", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q0", "y": "q0", "e": "q0", "l": "q0", "A": "q0", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q11": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q12", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q0", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q0", "y": "q0", "e": "q0", "l": "q0", "A": "q0", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q12": {"c": "q0", "j": "q0", "u": "q13", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q0", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q0", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q0", "y": "q0", "e": "q0", "l": "q0", "A": "q0", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q13": {"c": "q0", "j": "q0", "u": "q0", "q": "q0", "x": "q0", "w": "q0", "v": "q0", "G": "q0", "t": "q0", "s": "q0", "Z": "q0", "g": "q0", "o": "q0", "0": "q0", "f": "q0", ".": "q0", "R": "q0", "b": "q0", "6": "q0", "7": "q0", "N": "q0", "n": "q14", "O": "q0", "L": "q0", "1": "q0", "K": "q0", "P": "q0", "V": "q0", "9": "q0", "z": "q0", "d": "q0", "Y": "q0", "\\n": "q0", "I": "q0", "U": "q0", "i": "q0", "C": "q0", "Q": "q0", "H": "q0", " ": "q0", "J": "q0", "8": "q0", "m": "q0", "X": "q0", "3": "q0", ",": "q0", "4": "q0", "T": "q0", "y": "q0", "e": "q0", "l": "q0", "A": "q0", "k": "q0", "r": "q0", "p": "q0", "B": "q0", "E": "q0", "2": "q0", "h": "q0", "S": "q1", "D": "q0", "F": "q0", "W": "q0", "5": "q0", "M": "q0", "a": "q0"}, "q14": {"c": "q14", "j": "q14", "u": "q14", "q": "q14", "x": "q14", "w": "q14", "v": "q14", "G": "q14", "t": "q14", "s": "q14", "Z": "q14", "g": "q14", "o": "q14", "0": "q14", "f": "q14", ".": "q14", "R": "q14", "b": "q14", "6": "q14", "7": "q14", "N": "q14", "n": "q14", "O": "q14", "L": "q14", "1": "q14", "K": "q14", "P": "q14", "V": "q14", "9": "q14", "z": "q14", "d": "q14", "Y": "q14", "\\n": "q14", "I": "q14", "U": "q14", "i": "q14", "C": "q14", "Q": "q14", "H": "q14", " ": "q14", "J": "q14", "8": "q14", "m": "q14", "X": "q14", "3": "q14", ",": "q14", "4": "q14", "T": "q14", "y": "q14", "e": "q14", "l": "q14", "A": "q14", "k": "q14", "r": "q14", "p": "q14", "B": "q14", "E": "q14", "2": "q14", "h": "q14", "S": "q14", "D": "q14", "F": "q14", "W": "q14", "5": "q14", "M": "q14", "a": "q14"}}, "start_state": "q0", "accept_states": ["q14"]}