109 lines
2.3 KiB
JSON
109 lines
2.3 KiB
JSON
{
|
|
"name": "0n1n",
|
|
"description": "{ 0^{n}1^{n} | n>0 }",
|
|
"grammar": {
|
|
"states": {
|
|
"states": [
|
|
"q0",
|
|
"q1",
|
|
"q2",
|
|
"q3",
|
|
"q4"
|
|
],
|
|
"initial": "q0",
|
|
"finial": [
|
|
"q4"
|
|
]
|
|
},
|
|
"input": [
|
|
"0",
|
|
"1"
|
|
],
|
|
"alphabet": [
|
|
"0",
|
|
"1",
|
|
"B",
|
|
"X",
|
|
"Y"
|
|
],
|
|
"blank": "B",
|
|
"transition": {
|
|
"q0": {
|
|
"0": [
|
|
"q1",
|
|
"X",
|
|
"R"
|
|
],
|
|
"Y": [
|
|
"q3",
|
|
"Y",
|
|
"R"
|
|
]
|
|
},
|
|
"q1": {
|
|
"Y": [
|
|
"q1",
|
|
"Y",
|
|
"R"
|
|
],
|
|
"0": [
|
|
"q1",
|
|
"0",
|
|
"R"
|
|
],
|
|
"1": [
|
|
"q2",
|
|
"Y",
|
|
"L"
|
|
]
|
|
},
|
|
"q2": {
|
|
"Y": [
|
|
"q2",
|
|
"Y",
|
|
"L"
|
|
],
|
|
"0": [
|
|
"q2",
|
|
"0",
|
|
"L"
|
|
],
|
|
"X": [
|
|
"q0",
|
|
"X",
|
|
"R"
|
|
]
|
|
},
|
|
"q3": {
|
|
"Y": [
|
|
"q3",
|
|
"Y",
|
|
"R"
|
|
],
|
|
"B": [
|
|
"q4",
|
|
"B",
|
|
"L"
|
|
]
|
|
},
|
|
"q4": {
|
|
"X": [
|
|
"q4",
|
|
"0",
|
|
"L"
|
|
],
|
|
"Y": [
|
|
"q4",
|
|
"1",
|
|
"L"
|
|
],
|
|
"B": [
|
|
"q4",
|
|
"B",
|
|
"R"
|
|
]
|
|
}
|
|
}
|
|
},
|
|
"demo": "000111"
|
|
} |