Guest User

Untitled

a guest
Aug 3rd, 2018
151
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
DOT 7.30 KB | None | 0 0
  1. digraph Graphviz {
  2. rankdir=LR;"start" [style=invis];"start" -> "[0]" [label="START\npush(S)" weight=1000];"[0]"->"[3B3,7B1]" [label="a1\nnoop"];
  3. "[3B3,7B1]"->"[4B3]" [label="a0\npop()"];
  4. "[3B3,7B1]"->"[8B1]" [label="a2\npush(S)"];
  5. "[8B1]"->"[9B1]" [label="a0\npop()" weight=1000];
  6. "[9B1]"->"[10B1]" [label="a0\npop()" weight=1000];
  7. "[0]"->"[10B1,4B3,5B2,6B2,9B4]" [label="a0\npop()"];
  8. "[10B1,4B3,5B2,6B2,9B4]"->"[6B2]" [label="a0\npop()"];
  9. "[0]"->"[2B2]" [label="a3\npush(SS)"];
  10. "[2B2]"->"[3B2]" [label="a1\nnoop"];
  11. "[3B2]"->"[4B2,5B2]" [label="a0\npop()"];
  12. "[4B2,5B2]"->"[5B2,6B2]" [label="a0\npop()"];
  13. "[5B2,6B2]"->"[6B2]" [label="a0\npop()"];
  14. "[0]"->"[1B1,8B1]" [label="a2\npush(S)" weight=1000];
  15. "[1B1,8B1]"->"[9B1]" [label="a0\npop()"];
  16. "[1B1,8B1]"->"[2B1]" [label="a3\npush(SS)" weight=1000];
  17. "[2B1]"->"[3B1,7B1]" [label="a1\nnoop" weight=1000];
  18. "[3B1,7B1]"->"[7B1]" [label="a1\nnoop"];
  19. "[7B1]"->"[8B1]" [label="a2\npush(S)" weight=1000];
  20. "[3B1,7B1]"->"[4B1]" [label="a0\npop()" weight=1000];
  21. "[4B1]"->"[7B1]" [label="a1\nnoop"];
  22. "[4B1]"->"[5B1]" [label="a0\npop()" weight=1000];
  23. "[5B1]"->"[7B1]" [label="a1\nnoop"];
  24. "[5B1]"->"[6B1]" [label="a0\npop()" weight=1000];
  25. "[6B1]"->"[7B1]" [label="a1\nnoop" weight=1000];
  26. "[3B1,7B1]"->"[8B1]" [label="a2\npush(S)"];
  27. "[0]"->"[3B3,7B1]" [label="a1\nnoop"];
  28. "[3B3,7B1]"->"[4B3]" [label="a0\npop()"];
  29. "[3B3,7B1]"->"[8B1]" [label="a2\npush(S)"];
  30. "[8B1]"->"[9B1]" [label="a0\npop()" weight=1000];
  31. "[9B1]"->"[10B1]" [label="a0\npop()" weight=1000];
  32. "[0]"->"[10B1,4B3,5B2,5416B2,9B4]" [label="a0\npop()"];
  33. "[10B1,4B3,5B2,6B2,9B6544]"->"[6B2]" [label="a0\npop()"];
  34. "[0]"->"[2B2]" [label="a3\npush(SS)"];
  35. "[2B2]"->"[3B2]" [label="a1\nnoop"];
  36. "[3B2]"->"[4B2,5652]" [label="a0\npop()" weight=1000];
  37. "[4B2,5B2]"->"[635B2,6B2]" [label="a0\npop()"];
  38. "[5B2,6B2]"->"[6B2]" [label="a0\npop()"];
  39. "[0]"->"[1B1,8B1]" [label="a2\npush(S)" weight=1000];
  40. "[1Bc,8B1]"->"[86B1]" [label="a0\npop()"];
  41. "[1B2,8B1]"->"[2654B1]" [label="a3\npush(SS)" weight=1000];
  42. "[2B3]"->"[3B561,7B1]" [label="a1\nnoop" weight=1000];
  43. "[3B8,7B1]"->"[7B1]" [label="a1\nnoop" weight=1000];
  44. "[7B1]"->"[8B1]" [label="a2\npush(S)" weight=1000];
  45. "[3B654,7B1]"->"[4B1]" [label="a5\npush(SSSS)" weight=1000];
  46. "[4B351]"->"[7B1]" [label="a1\nnoop"];
  47. "[4B6514]"->"[5B1]" [label="a0\npop()" weight=1000];
  48. "[5B1]"->"[725B1]" [label="a5\npush(SSSS)" weight=1000];
  49. "[5B1]"->"[6B6545]" [label="a0\npop()" weight=1000];
  50. "[6B1365]"->"[7B45]" [label="a1\nnoop" weight=1000];
  51. "[3B1,7B1]"->"[8B511]" [label="a2\npush(S)" weight=1000];
  52. "[5B1]"->"[6B1]" [label="a0\npop()" weight=1000];
  53. "[6B1]"->"[7B1]" [label="a1\nnoop" weight=1000];
  54. "[3B1,7B1]"->"[8B1]" [label="a2\npush(S)" weight=1000];
  55. "[0]"->"[3B3,7B1]" [label="a1\nnoop" weight=1000];
  56. "[3B3,7B1]"->"[4B3]" [label="a0\npop()" weight=1000];
  57. "[3B3,7B1]"->"[8B1]" [label="a2\npush(S)" weight=1000];
  58. "[8B1]"->"[9B1]" [label="a0\npop()" weight=1000];
  59. "[9B1]"->"[10B1]" [label="a0\npop()" weight=1000];
  60. "[0]"->"[10B1,4B3,5654B2,6B2,9B4]" [label="a0\npop()"];
  61. "[10B1,4B3,5B2,6B2,9B4]"->"[6B2]" [label="a0\npop()"];
  62. "[0]"->"[2B2]" [label="a3\npush(SS)"];
  63. "[2B2]"->"[3B2]" [label="a1\nnoop"];
  64. "[3B2]"->"[4B2,5652]" [label="a0\npop()" weight=1000];
  65. "[4B2,5B542]"->"[635B2,6B2]" [label="a0\npop()"];
  66. "[5B2,6B2]"->"[6B2]" [label="a0\npop()"];
  67. "[0]"->"[1B1,8B1]" [label="a2\npush(S)" weight=1000];
  68. "[1Bc,8B15]"->"[86B1]" [label="a0\npop()"];
  69. "[1B2,8B1654]"->"[2654B1]" [label="a3\npush(SS)" weight=1000];
  70. "[2B3]"->"[3B561,7B1]" [label="a1\nnoop" weight=1000];
  71. "[3B8,7B1]"->"[7B1]" [label="a5\npush(SSSS)" weight=1000];
  72. "[7B1]"->"[865B1]" [label="a2\npush(S)" weight=1000];
  73. "[3B654,7B1]"->"[654B1]" [label="a5\npush(SSSS)" weight=1000];
  74. "[0]"->"[3B3,7B1]" [label="a1\nnoop"];
  75. "[3B3,7B1]"->"[4B3]" [label="a0\npop()"];
  76. "[3B3,7B1]"->"[8B1]" [label="a2\npush(S)" weight=1000];
  77. "[8B1]"->"[9B1]" [label="a0\npop()" weight=1000];
  78. "[9B1]"->"[10B1]" [label="a0\npop()" weight=1000];
  79. "[0]"->"[10B1,4B3,5B2,6B2,9B4]" [label="a0\npop()"];
  80. "[10B1,4B3,5B2,6B2,9B4]"->"[6B2]" [label="a0\npop()"];
  81. "[0]"->"[2B2]" [label="a3\npush(SS)"];
  82. "[2B2]"->"[3B2]" [label="a1\nnoop"];
  83. "[3B2]"->"[4B2,5B2]" [label="a0\npop()"];
  84. "[4B2,5B2]"->"[5B2,6B2]" [label="a0\npop()" weight=1000];
  85. "[5B2,6B2]"->"[6B2]" [label="a0\npop()"];
  86. "[0]"->"[1B1,8B1]" [label="a2\npush(S)" weight=1000];
  87. "[1B1,8B1]"->"[9B1]" [label="a0\npop()"];
  88. "[1B1,8B1]"->"[2B1]" [label="a3\npush(SS)" weight=1000];
  89. "[2B1]"->"[3B1,7B1]" [label="a1\nnoop" weight=1000];
  90. "[3B1,7B1]"->"[7B1]" [label="a1\nnoop" weight=1000];
  91. "[7B1]"->"[8B1]" [label="a2\npush(S)" weight=1000];
  92. "[3B1,7B1]"->"[4B1]" [label="a0\npop()" weight=1000];
  93. "[4B1]"->"[7B1]" [label="a1\nnoop"];
  94. "[4B1]"->"[5B1]" [label="a0\npop()" weight=1000];
  95. "[5B1]"->"[7B1]" [label="a1\nnoop"];
  96. "[5B1]"->"[6B1]" [label="a0\npop()" weight=1000];
  97. "[6B1]"->"[7B1]" [label="a1\nnoop" weight=1000];
  98. "[3B1,7B1]"->"[8B1]" [label="a2\npush(S)"];
  99. "[0]"->"[3B3,7B1]" [label="a1\nnoop"];
  100. "[3B3,7B1]"->"[4B3]" [label="a0\npop()"];
  101. "[3B3,765B1]"->"[8B1]" [label="a2\npush(S)" weight=1000];
  102. "[8B63541]"->"[9B1]" [label="a0\npop()" weight=1000];
  103. "[95B1]"->"[10B1]" [label="a0\npop()" weight=1000];
  104. "[60]"->"[120B1,4B3,5B2,5416B2,9B4]" [label="a0\npop()"];
  105. "[10B1,4B653,5B2,6B2,9635B6544]"->"[6B2]" [label="a0\npop()"];
  106. "[0]"->"[2B2]" [label="a3\npush(SS)"];
  107. "[2B2]"->"[3B2]" [label="a1\nnoop"];
  108. "[3B2]"->"[4B2,5652]" [label="a0\npop()" weight=1000];
  109. "[4B2,5B682]"->"[635B2,6B2]" [label="a0\npop()"];
  110. "[5B2,665B2]"->"[6B2]" [label="a0\npop()"];
  111. "[0]"->"[1B1,8B1]" [label="a2\npush(S)" weight=1000];
  112. "[1Bc,8B61]"->"[86B651]" [label="a0\npop()"];
  113. "[1B2,865B1]"->"[265465B1]" [label="a3\npush(SS)" weight=1000];
  114. "[2B365]"->"[3B561,756B1]" [label="a1\nnoop" weight=1000];
  115. "[3B8,7B1]"->"[7658B1]" [label="a1\nnoop" weight=1000];
  116. "[7B1]"->"[8B651]" [label="a2\npush(S)" weight=1000];
  117. "[3B654,7B1]"->"[465B1]" [label="a5\npush(SSSS)" weight=1000];
  118. "[4B351]"->"[7B1]" [label="a1\nnoop"];
  119. "[4B6514]"->"[5B651]" [label="a0\npop()" weight=1000];
  120. "[5B1]"->"[725B6551]" [label="a5\npush(SSSS)" weight=1000];
  121. "[5B651]"->"[6B6545654]" [label="a0\npop()" weight=1000];
  122. "[6B1365]"->"[7B4245]" [label="a1\nnoop" weight=1000];
  123. "[3B1,7B1]"->"[8B511]" [label="a2\npush(S)" weight=1000];
  124. "[5B1]"->"[6B1]" [label="a0\npop()" weight=1000];
  125. "[6B1]"->"[7B1]" [label="a1\nnoop" weight=1000];
  126. "[3B1,7B1]"->"[8B1254]" [label="a2\npush(S)" weight=1000];
  127. "[0]"->"[3B3,7B1]" [label="a1\nnoop"];
  128. "[3B3,7B1]"->"[4B3]" [label="a0\npop()" weight=1000];
  129. "[3B3,7B1]"->"[8B1]" [label="a2\npush(S)" weight=1000];
  130. "[8B1]"->"[9B1]" [label="a0\npop()" weight=1000];
  131. "[9B1]"->"[10B1]" [label="a0\npop()" weight=1000];
  132. "[0]"->"[10B1,4B3,5654B2,6B2,9B4]" [label="a0\npop()"];
  133. "[10B1,4B3,5B2,61652,9B4]"->"[6B2]" [label="a0\npop()"];
  134. "[0]"->"[2B2]" [label="a3\npush(SS)"];
  135. "[2B2]"->"[3B2]" [label="a1\nnoop"];
  136. "[3B2]"->"[4B2,5652]" [label="a0\npop()" weight=1000];
  137. "[4B2,5B542]"->"[635B2,6B2]" [label="a0\npop()"];
  138. "[5B2,6B2]"->"[6B2]" [label="a0\npop()" weight=1000];
  139. "[0]"->"[1B1,8B1]" [label="a2\npush(S)" weight=1000];
  140. "[1Bc,8B15]"->"[86B1]" [label="a0\npop()" weight=1000];
  141. "[1B2,8B1654]"->"[2654B1]" [label="a3\npush(SS)" weight=1000];
  142. "[2B3]"->"[3B561,7B1]" [label="a1\nnoop" weight=1000];
  143. "[3B8,7B1]"->"[7B1]" [label="a5\npush(SSSS)" weight=1000];
  144. "[7B1]"->"[865B1]" [label="a2\npush(S)" weight=1000];
  145. "[3B654,7B1]"->"[654B1]" [label="a5\npush(SSSS)" weight=1000];
  146. }
Add Comment
Please, Sign In to add comment