shift-reduce-conflict.graffle 36 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
  3. <plist version="1.0">
  4. <dict>
  5. <key>ActiveLayerIndex</key>
  6. <integer>0</integer>
  7. <key>ApplicationVersion</key>
  8. <array>
  9. <string>com.omnigroup.OmniGraffle6</string>
  10. <string>169.23.0.276662</string>
  11. </array>
  12. <key>AutoAdjust</key>
  13. <true/>
  14. <key>BackgroundGraphic</key>
  15. <dict>
  16. <key>Bounds</key>
  17. <string>{{0, 0}, {588.018798828125, 768.018798828125}}</string>
  18. <key>Class</key>
  19. <string>SolidGraphic</string>
  20. <key>ID</key>
  21. <integer>2</integer>
  22. <key>Style</key>
  23. <dict>
  24. <key>stroke</key>
  25. <dict>
  26. <key>Draws</key>
  27. <string>NO</string>
  28. </dict>
  29. </dict>
  30. </dict>
  31. <key>BaseZoom</key>
  32. <integer>0</integer>
  33. <key>CanvasOrigin</key>
  34. <string>{0, 0}</string>
  35. <key>ColumnAlign</key>
  36. <integer>1</integer>
  37. <key>ColumnSpacing</key>
  38. <real>36</real>
  39. <key>CreationDate</key>
  40. <string>2007-09-02 01:52:53 +0000</string>
  41. <key>Creator</key>
  42. <string>Jeremy Siek</string>
  43. <key>DisplayScale</key>
  44. <string>1 in = 1 in</string>
  45. <key>GraphDocumentVersion</key>
  46. <integer>12</integer>
  47. <key>GraphicsList</key>
  48. <array>
  49. <dict>
  50. <key>Bounds</key>
  51. <string>{{308.13159999999999, 451.19816805590568}, {189, 140}}</string>
  52. <key>Class</key>
  53. <string>ShapedGraphic</string>
  54. <key>FitText</key>
  55. <string>Vertical</string>
  56. <key>Flow</key>
  57. <string>Resize</string>
  58. <key>ID</key>
  59. <integer>41</integer>
  60. <key>Style</key>
  61. <dict>
  62. <key>fill</key>
  63. <dict>
  64. <key>Draws</key>
  65. <string>NO</string>
  66. </dict>
  67. <key>shadow</key>
  68. <dict>
  69. <key>Draws</key>
  70. <string>NO</string>
  71. </dict>
  72. </dict>
  73. <key>Text</key>
  74. <dict>
  75. <key>Align</key>
  76. <integer>0</integer>
  77. <key>Text</key>
  78. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  79. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  80. {\colortbl;\red255\green255\blue255;}
  81. {\*\expandedcolortbl;;}
  82. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  83. \f0\b\fs24 \cf0 \ul \ulc0 Action
  84. \f1\b0 \ulnone \
  85. shift to state 1\
  86. shift to state 4\
  87. reduce by rule 3 to state 1, goto 3\
  88. shift to state 5\
  89. shift to state 4\
  90. reduce by rule 3 to state 5, goto 6\
  91. reduce by rule 2 to state 1, goto 3\
  92. reduce by rule 1 to state 0, goto 2\
  93. accept}</string>
  94. <key>VerticalPad</key>
  95. <real>0.0</real>
  96. </dict>
  97. </dict>
  98. <dict>
  99. <key>Bounds</key>
  100. <string>{{215.13160000000002, 451.19816805590568}, {93, 140}}</string>
  101. <key>Class</key>
  102. <string>ShapedGraphic</string>
  103. <key>FitText</key>
  104. <string>Vertical</string>
  105. <key>Flow</key>
  106. <string>Resize</string>
  107. <key>ID</key>
  108. <integer>40</integer>
  109. <key>Style</key>
  110. <dict>
  111. <key>fill</key>
  112. <dict>
  113. <key>Draws</key>
  114. <string>NO</string>
  115. </dict>
  116. <key>shadow</key>
  117. <dict>
  118. <key>Draws</key>
  119. <string>NO</string>
  120. </dict>
  121. </dict>
  122. <key>Text</key>
  123. <dict>
  124. <key>Align</key>
  125. <integer>0</integer>
  126. <key>Text</key>
  127. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  128. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  129. {\colortbl;\red255\green255\blue255;}
  130. {\*\expandedcolortbl;;}
  131. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  132. \f0\b\fs24 \cf0 \ul \ulc0 Input
  133. \f1\b0 \ulnone \
  134. 'print 1 + 2'\
  135. '1 + 2'\
  136. '+ 2'\
  137. '+ 2'\
  138. '2'\
  139. ''\
  140. ''\
  141. ''\
  142. ''}</string>
  143. <key>VerticalPad</key>
  144. <real>0.0</real>
  145. </dict>
  146. </dict>
  147. <dict>
  148. <key>Bounds</key>
  149. <string>{{21.069600000000001, 451.19816805590568}, {194.06180000000001, 140}}</string>
  150. <key>Class</key>
  151. <string>ShapedGraphic</string>
  152. <key>FitText</key>
  153. <string>Vertical</string>
  154. <key>Flow</key>
  155. <string>Resize</string>
  156. <key>ID</key>
  157. <integer>39</integer>
  158. <key>Style</key>
  159. <dict>
  160. <key>fill</key>
  161. <dict>
  162. <key>Draws</key>
  163. <string>NO</string>
  164. </dict>
  165. <key>shadow</key>
  166. <dict>
  167. <key>Draws</key>
  168. <string>NO</string>
  169. </dict>
  170. </dict>
  171. <key>Text</key>
  172. <dict>
  173. <key>Align</key>
  174. <integer>0</integer>
  175. <key>Text</key>
  176. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  177. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  178. {\colortbl;\red255\green255\blue255;}
  179. {\*\expandedcolortbl;;}
  180. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  181. \f0\b\fs24 \cf0 \ul \ulc0 Stack
  182. \f1\b0 \ulnone \
  183. []\
  184. [(1,"print")]\
  185. [(1,"print"),(4,INT)]\
  186. [(1,"print"),(3,exp)]\
  187. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  188. \cf0 [(1,"print"),(3,exp),(5,+)]\
  189. [(1,"print"),(3,exp),(5,+),(4,INT)]\
  190. [(1,"print"),(3,exp),(5,+),(6,exp)]\
  191. [(1,"print"),(3,exp)]\
  192. [(2,stmt)]}</string>
  193. <key>VerticalPad</key>
  194. <real>0.0</real>
  195. </dict>
  196. </dict>
  197. <dict>
  198. <key>Bounds</key>
  199. <string>{{21.069600000000001, 437.19816805590568}, {176, 14}}</string>
  200. <key>Class</key>
  201. <string>ShapedGraphic</string>
  202. <key>FitText</key>
  203. <string>YES</string>
  204. <key>Flow</key>
  205. <string>Resize</string>
  206. <key>ID</key>
  207. <integer>38</integer>
  208. <key>Style</key>
  209. <dict>
  210. <key>fill</key>
  211. <dict>
  212. <key>Draws</key>
  213. <string>NO</string>
  214. </dict>
  215. <key>shadow</key>
  216. <dict>
  217. <key>Draws</key>
  218. <string>NO</string>
  219. </dict>
  220. <key>stroke</key>
  221. <dict>
  222. <key>Draws</key>
  223. <string>NO</string>
  224. </dict>
  225. </dict>
  226. <key>Text</key>
  227. <dict>
  228. <key>Text</key>
  229. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  230. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;}
  231. {\colortbl;\red255\green255\blue255;}
  232. {\*\expandedcolortbl;;}
  233. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  234. \f0\b\fs24 \cf0 Example parse of 'print 1 + 2'}</string>
  235. <key>VerticalPad</key>
  236. <real>0.0</real>
  237. </dict>
  238. <key>Wrap</key>
  239. <string>NO</string>
  240. </dict>
  241. <dict>
  242. <key>Bounds</key>
  243. <string>{{6.9304199999999998, 8}, {124, 70}}</string>
  244. <key>Class</key>
  245. <string>ShapedGraphic</string>
  246. <key>FitText</key>
  247. <string>YES</string>
  248. <key>Flow</key>
  249. <string>Resize</string>
  250. <key>ID</key>
  251. <integer>36</integer>
  252. <key>Style</key>
  253. <dict>
  254. <key>fill</key>
  255. <dict>
  256. <key>Draws</key>
  257. <string>NO</string>
  258. </dict>
  259. <key>shadow</key>
  260. <dict>
  261. <key>Draws</key>
  262. <string>NO</string>
  263. </dict>
  264. <key>stroke</key>
  265. <dict>
  266. <key>Width</key>
  267. <real>2</real>
  268. </dict>
  269. </dict>
  270. <key>Text</key>
  271. <dict>
  272. <key>Align</key>
  273. <integer>0</integer>
  274. <key>Text</key>
  275. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  276. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  277. {\colortbl;\red255\green255\blue255;}
  278. {\*\expandedcolortbl;;}
  279. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  280. \f0\fs24 \cf0 Grammar:\
  281. 0. start ::= stmt\
  282. 1. stmt ::= \'93print\'94 exp\
  283. 2. exp ::= exp \'93+\'94 exp\
  284. 3. exp ::= INT}</string>
  285. <key>VerticalPad</key>
  286. <real>0.0</real>
  287. </dict>
  288. <key>Wrap</key>
  289. <string>NO</string>
  290. </dict>
  291. <dict>
  292. <key>Bounds</key>
  293. <string>{{186.75255414798218, 396.11162722642376}, {61, 14}}</string>
  294. <key>Class</key>
  295. <string>ShapedGraphic</string>
  296. <key>FitText</key>
  297. <string>YES</string>
  298. <key>Flow</key>
  299. <string>Resize</string>
  300. <key>FontInfo</key>
  301. <dict>
  302. <key>Color</key>
  303. <dict>
  304. <key>b</key>
  305. <string>0</string>
  306. <key>g</key>
  307. <string>0</string>
  308. <key>r</key>
  309. <string>0</string>
  310. </dict>
  311. <key>Font</key>
  312. <string>Helvetica</string>
  313. <key>Size</key>
  314. <real>12</real>
  315. </dict>
  316. <key>ID</key>
  317. <integer>30</integer>
  318. <key>Line</key>
  319. <dict>
  320. <key>ID</key>
  321. <integer>28</integer>
  322. <key>Position</key>
  323. <real>0.13972456753253937</real>
  324. <key>RotationType</key>
  325. <integer>0</integer>
  326. </dict>
  327. <key>Style</key>
  328. <dict>
  329. <key>shadow</key>
  330. <dict>
  331. <key>Draws</key>
  332. <string>NO</string>
  333. </dict>
  334. <key>stroke</key>
  335. <dict>
  336. <key>Draws</key>
  337. <string>NO</string>
  338. </dict>
  339. </dict>
  340. <key>Text</key>
  341. <dict>
  342. <key>RTFD</key>
  343. <data>
  344. BAtzdHJlYW10eXBlZIHoA4QBQISEhBJOU0F0dHJpYnV0
  345. ZWRTdHJpbmcAhIQITlNPYmplY3QAhZKEhIQITlNTdHJp
  346. bmcBlIQBKwoiKyIsIHNoaWZ0hoQCaUkBCpKEhIQMTlNE
  347. aWN0aW9uYXJ5AJSEAWkDkoSWlgdOU0NvbG9yhpKEhIQH
  348. TlNDb2xvcgCUhAFjAYQEZmZmZgAAAAGGkoSWlhBOU1Bh
  349. cmFncmFwaFN0eWxlhpKEhIQXTlNNdXRhYmxlUGFyYWdy
  350. YXBoU3R5bGUAhIQQTlNQYXJhZ3JhcGhTdHlsZQCUhARD
  351. Q0BTAgCEhIQHTlNBcnJheQCUmQyShISECU5TVGV4dFRh
  352. YgCUhAJDZgAchpKEo6IAOIaShKOiAFSGkoSjogBwhpKE
  353. o6IAgYwAhpKEo6IAgagAhpKEo6IAgcQAhpKEo6IAgeAA
  354. hpKEo6IAgfwAhpKEo6IAgRgBhpKEo6IAgTQBhpKEo6IA
  355. gVABhoYAhpKElpYGTlNGb250hpKEhIQGTlNGb250HpSZ
  356. KIQFWzQwY10GAAAAHgAAAP/+SABlAGwAdgBlAHQAaQBj
  357. AGEALQBCAG8AbABkAAAAhAFmDJsAmwGbAJsAhoaG
  358. </data>
  359. <key>Text</key>
  360. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  361. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;}
  362. {\colortbl;\red255\green255\blue255;\red0\green0\blue0;}
  363. {\*\expandedcolortbl;;\cssrgb\c0\c0\c0;}
  364. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  365. \f0\b\fs24 \cf2 "+", shift}</string>
  366. <key>VerticalPad</key>
  367. <real>0.0</real>
  368. </dict>
  369. <key>Wrap</key>
  370. <string>NO</string>
  371. </dict>
  372. <dict>
  373. <key>Class</key>
  374. <string>LineGraphic</string>
  375. <key>Head</key>
  376. <dict>
  377. <key>ID</key>
  378. <integer>16</integer>
  379. </dict>
  380. <key>ID</key>
  381. <integer>28</integer>
  382. <key>Points</key>
  383. <array>
  384. <string>{206.9408186443008, 391.12150637740746}</string>
  385. <string>{240.93000000000001, 421.387}</string>
  386. <string>{295.38191220546872, 391.03245543105913}</string>
  387. </array>
  388. <key>Style</key>
  389. <dict>
  390. <key>shadow</key>
  391. <dict>
  392. <key>Draws</key>
  393. <string>NO</string>
  394. </dict>
  395. <key>stroke</key>
  396. <dict>
  397. <key>HeadArrow</key>
  398. <string>FilledArrow</string>
  399. <key>Legacy</key>
  400. <true/>
  401. <key>LineType</key>
  402. <integer>1</integer>
  403. <key>TailArrow</key>
  404. <string>0</string>
  405. </dict>
  406. </dict>
  407. <key>Tail</key>
  408. <dict>
  409. <key>ID</key>
  410. <integer>24</integer>
  411. </dict>
  412. </dict>
  413. <dict>
  414. <key>Bounds</key>
  415. <string>{{313.51897408719032, 411.68510098106117}, {60, 14}}</string>
  416. <key>Class</key>
  417. <string>ShapedGraphic</string>
  418. <key>FitText</key>
  419. <string>YES</string>
  420. <key>Flow</key>
  421. <string>Resize</string>
  422. <key>FontInfo</key>
  423. <dict>
  424. <key>Font</key>
  425. <string>Helvetica</string>
  426. <key>Size</key>
  427. <real>12</real>
  428. </dict>
  429. <key>ID</key>
  430. <integer>26</integer>
  431. <key>Line</key>
  432. <dict>
  433. <key>ID</key>
  434. <integer>25</integer>
  435. <key>Position</key>
  436. <real>0.17646275460720062</real>
  437. <key>RotationType</key>
  438. <integer>0</integer>
  439. </dict>
  440. <key>Style</key>
  441. <dict>
  442. <key>shadow</key>
  443. <dict>
  444. <key>Draws</key>
  445. <string>NO</string>
  446. </dict>
  447. <key>stroke</key>
  448. <dict>
  449. <key>Draws</key>
  450. <string>NO</string>
  451. </dict>
  452. </dict>
  453. <key>Text</key>
  454. <dict>
  455. <key>Text</key>
  456. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  457. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  458. {\colortbl;\red255\green255\blue255;}
  459. {\*\expandedcolortbl;;}
  460. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  461. \f0\fs24 \cf0 exp, goto}</string>
  462. <key>VerticalPad</key>
  463. <real>0.0</real>
  464. </dict>
  465. <key>Wrap</key>
  466. <string>NO</string>
  467. </dict>
  468. <dict>
  469. <key>Class</key>
  470. <string>LineGraphic</string>
  471. <key>Head</key>
  472. <dict>
  473. <key>ID</key>
  474. <integer>24</integer>
  475. </dict>
  476. <key>ID</key>
  477. <integer>25</integer>
  478. <key>Points</key>
  479. <array>
  480. <string>{344.20929342477388, 391.25860591833538}</string>
  481. <string>{332.82999999999998, 422.387}</string>
  482. <string>{223.65242880066489, 374.45977971637694}</string>
  483. </array>
  484. <key>Style</key>
  485. <dict>
  486. <key>shadow</key>
  487. <dict>
  488. <key>Draws</key>
  489. <string>NO</string>
  490. </dict>
  491. <key>stroke</key>
  492. <dict>
  493. <key>HeadArrow</key>
  494. <string>FilledArrow</string>
  495. <key>Legacy</key>
  496. <true/>
  497. <key>LineType</key>
  498. <integer>1</integer>
  499. <key>TailArrow</key>
  500. <string>0</string>
  501. </dict>
  502. </dict>
  503. <key>Tail</key>
  504. <dict>
  505. <key>ID</key>
  506. <integer>16</integer>
  507. </dict>
  508. </dict>
  509. <dict>
  510. <key>Bounds</key>
  511. <string>{{84.375, 296.78899999999999}, {138.81960000000007, 94}}</string>
  512. <key>Class</key>
  513. <string>ShapedGraphic</string>
  514. <key>FontInfo</key>
  515. <dict>
  516. <key>Color</key>
  517. <dict>
  518. <key>b</key>
  519. <string>0</string>
  520. <key>g</key>
  521. <string>0</string>
  522. <key>r</key>
  523. <string>0</string>
  524. </dict>
  525. </dict>
  526. <key>ID</key>
  527. <integer>24</integer>
  528. <key>Style</key>
  529. <dict>
  530. <key>shadow</key>
  531. <dict>
  532. <key>Draws</key>
  533. <string>NO</string>
  534. </dict>
  535. </dict>
  536. <key>Text</key>
  537. <dict>
  538. <key>Align</key>
  539. <integer>0</integer>
  540. <key>RTFD</key>
  541. <data>
  542. BAtzdHJlYW10eXBlZIHoA4QBQISEhBJOU0F0dHJpYnV0
  543. ZWRTdHJpbmcAhIQITlNPYmplY3QAhZKEhIQITlNTdHJp
  544. bmcBlIQBK2BTdGF0ZSA2CmV4cCA6Oj0gZXhwICIrIiBl
  545. eHAgLgpleHAgOjo9IGV4cCAuICIrIiBleHAKCmVuZCwg
  546. cmVkdWNlIGJ5IHJ1bGUgMgoiKyIsIHJlZHVjZSBieSBy
  547. dWxlIDKGhAJpSQEHkoSEhAxOU0RpY3Rpb25hcnkAlIQB
  548. aQSShJaWEE5TUGFyYWdyYXBoU3R5bGWGkoSEhBdOU011
  549. dGFibGVQYXJhZ3JhcGhTdHlsZQCEhBBOU1BhcmFncmFw
  550. aFN0eWxlAJSEBENDQFMAAISEhAdOU0FycmF5AJSZDJKE
  551. hIQJTlNUZXh0VGFiAJSEAkNmAByGkoSgnwA4hpKEoJ8A
  552. VIaShKCfAHCGkoSgnwCBjACGkoSgnwCBqACGkoSgnwCB
  553. xACGkoSgnwCB4ACGkoSgnwCB/ACGkoSgnwCBGAGGkoSg
  554. nwCBNAGGkoSgnwCBUAGGhgCGkoSWlhBOU1VuZGVybGlu
  555. ZUNvbG9yhpKEhIQHTlNDb2xvcgCUhAFjA4QCZmYAAYaS
  556. hJaWC05TVW5kZXJsaW5lhpKEhIQITlNOdW1iZXIAhIQH
  557. TlNWYWx1ZQCUhAEqhIQBcaYBhpKElpYGTlNGb250hpKE
  558. hIQGTlNGb250HpSZKIQFWzQwY10GAAAAHgAAAP/+SABl
  559. AGwAdgBlAHQAaQBjAGEALQBCAG8AbABkAAAAhAFmDKEA
  560. oQGhAKEAhoaXAkSShJiZA5Kskq2SmZKakrSShLaZHIQF
  561. WzI4Y10GAAAAFAAAAP/+SABlAGwAdgBlAHQAaQBjAGEA
  562. qQyhAKEBoQChAIaGlwMVkoSYmQSStJK1kpmShJucAACE
  563. npkMkp+SoZKikqOSpJKlkqaSp5KokqmSqpKrhgCGkqyS
  564. rZKElpYHTlNDb2xvcoaShK6hAYQEZmZmZgAAAAGGhoY=
  565. </data>
  566. <key>Text</key>
  567. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  568. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  569. {\colortbl;\red255\green255\blue255;\red0\green0\blue0;}
  570. {\*\expandedcolortbl;;\cssrgb\c0\c0\c0;}
  571. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  572. \f0\b\fs24 \cf0 \ul \ulc0 State 6
  573. \f1\b0 \ulnone \
  574. exp ::= exp "+" exp .\
  575. exp ::= exp . "+" exp\
  576. \
  577. end, reduce by rule 2\
  578. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  579. \f0\b \cf2 "+", reduce by rule 2}</string>
  580. <key>VerticalPad</key>
  581. <real>0.0</real>
  582. </dict>
  583. </dict>
  584. <dict>
  585. <key>Bounds</key>
  586. <string>{{345.24725535179027, 284.44919883778113}, {55, 14}}</string>
  587. <key>Class</key>
  588. <string>ShapedGraphic</string>
  589. <key>FitText</key>
  590. <string>YES</string>
  591. <key>Flow</key>
  592. <string>Resize</string>
  593. <key>FontInfo</key>
  594. <dict>
  595. <key>Font</key>
  596. <string>Helvetica</string>
  597. <key>Size</key>
  598. <real>12</real>
  599. </dict>
  600. <key>ID</key>
  601. <integer>20</integer>
  602. <key>Line</key>
  603. <dict>
  604. <key>ID</key>
  605. <integer>19</integer>
  606. <key>Position</key>
  607. <real>0.45416185259819031</real>
  608. <key>RotationType</key>
  609. <integer>0</integer>
  610. </dict>
  611. <key>Style</key>
  612. <dict>
  613. <key>shadow</key>
  614. <dict>
  615. <key>Draws</key>
  616. <string>NO</string>
  617. </dict>
  618. <key>stroke</key>
  619. <dict>
  620. <key>Draws</key>
  621. <string>NO</string>
  622. </dict>
  623. </dict>
  624. <key>Text</key>
  625. <dict>
  626. <key>Text</key>
  627. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  628. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  629. {\colortbl;\red255\green255\blue255;}
  630. {\*\expandedcolortbl;;}
  631. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  632. \f0\fs24 \cf0 "+", shift}</string>
  633. <key>VerticalPad</key>
  634. <real>0.0</real>
  635. </dict>
  636. <key>Wrap</key>
  637. <string>NO</string>
  638. </dict>
  639. <dict>
  640. <key>Class</key>
  641. <string>LineGraphic</string>
  642. <key>Head</key>
  643. <dict>
  644. <key>ID</key>
  645. <integer>16</integer>
  646. </dict>
  647. <key>ID</key>
  648. <integer>19</integer>
  649. <key>Points</key>
  650. <array>
  651. <string>{379.08911933179019, 265.77745757128127}</string>
  652. <string>{365.50423363666948, 322.30417128716539}</string>
  653. </array>
  654. <key>Style</key>
  655. <dict>
  656. <key>shadow</key>
  657. <dict>
  658. <key>Draws</key>
  659. <string>NO</string>
  660. </dict>
  661. <key>stroke</key>
  662. <dict>
  663. <key>HeadArrow</key>
  664. <string>FilledArrow</string>
  665. <key>Legacy</key>
  666. <true/>
  667. <key>TailArrow</key>
  668. <string>0</string>
  669. </dict>
  670. </dict>
  671. <key>Tail</key>
  672. <dict>
  673. <key>ID</key>
  674. <integer>10</integer>
  675. </dict>
  676. </dict>
  677. <dict>
  678. <key>Bounds</key>
  679. <string>{{273.72281587911232, 289.5436733345519}, {57, 14}}</string>
  680. <key>Class</key>
  681. <string>ShapedGraphic</string>
  682. <key>FitText</key>
  683. <string>YES</string>
  684. <key>Flow</key>
  685. <string>Resize</string>
  686. <key>FontInfo</key>
  687. <dict>
  688. <key>Font</key>
  689. <string>Helvetica</string>
  690. <key>Size</key>
  691. <real>12</real>
  692. </dict>
  693. <key>ID</key>
  694. <integer>18</integer>
  695. <key>Line</key>
  696. <dict>
  697. <key>ID</key>
  698. <integer>17</integer>
  699. <key>Position</key>
  700. <real>0.45588919520378113</real>
  701. <key>RotationType</key>
  702. <integer>0</integer>
  703. </dict>
  704. <key>Style</key>
  705. <dict>
  706. <key>shadow</key>
  707. <dict>
  708. <key>Draws</key>
  709. <string>NO</string>
  710. </dict>
  711. <key>stroke</key>
  712. <dict>
  713. <key>Draws</key>
  714. <string>NO</string>
  715. </dict>
  716. </dict>
  717. <key>Text</key>
  718. <dict>
  719. <key>Text</key>
  720. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  721. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  722. {\colortbl;\red255\green255\blue255;}
  723. {\*\expandedcolortbl;;}
  724. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  725. \f0\fs24 \cf0 INT, shift}</string>
  726. <key>VerticalPad</key>
  727. <real>0.0</real>
  728. </dict>
  729. <key>Wrap</key>
  730. <string>NO</string>
  731. </dict>
  732. <dict>
  733. <key>Class</key>
  734. <string>LineGraphic</string>
  735. <key>Head</key>
  736. <dict>
  737. <key>ID</key>
  738. <integer>11</integer>
  739. </dict>
  740. <key>ID</key>
  741. <integer>17</integer>
  742. <key>Points</key>
  743. <array>
  744. <string>{325.70660922935861, 322.41826462523846}</string>
  745. <string>{274.34499419231014, 265.66122190033178}</string>
  746. </array>
  747. <key>Style</key>
  748. <dict>
  749. <key>shadow</key>
  750. <dict>
  751. <key>Draws</key>
  752. <string>NO</string>
  753. </dict>
  754. <key>stroke</key>
  755. <dict>
  756. <key>HeadArrow</key>
  757. <string>FilledArrow</string>
  758. <key>Legacy</key>
  759. <true/>
  760. <key>TailArrow</key>
  761. <string>0</string>
  762. </dict>
  763. </dict>
  764. <key>Tail</key>
  765. <dict>
  766. <key>ID</key>
  767. <integer>16</integer>
  768. </dict>
  769. </dict>
  770. <dict>
  771. <key>Bounds</key>
  772. <string>{{294.80999999999995, 322.78899999999999}, {124, 68}}</string>
  773. <key>Class</key>
  774. <string>ShapedGraphic</string>
  775. <key>ID</key>
  776. <integer>16</integer>
  777. <key>Style</key>
  778. <dict>
  779. <key>shadow</key>
  780. <dict>
  781. <key>Draws</key>
  782. <string>NO</string>
  783. </dict>
  784. </dict>
  785. <key>Text</key>
  786. <dict>
  787. <key>Align</key>
  788. <integer>0</integer>
  789. <key>Text</key>
  790. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  791. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  792. {\colortbl;\red255\green255\blue255;}
  793. {\*\expandedcolortbl;;}
  794. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  795. \f0\b\fs24 \cf0 \ul \ulc0 State 5
  796. \f1\b0 \ulnone \
  797. exp ::= exp "+" . exp\
  798. exp ::= . exp "+" exp\
  799. exp ::= . INT}</string>
  800. <key>VerticalPad</key>
  801. <real>0.0</real>
  802. </dict>
  803. </dict>
  804. <dict>
  805. <key>Bounds</key>
  806. <string>{{345.36728813394535, 151.1869500536155}, {60, 14}}</string>
  807. <key>Class</key>
  808. <string>ShapedGraphic</string>
  809. <key>FitText</key>
  810. <string>YES</string>
  811. <key>Flow</key>
  812. <string>Resize</string>
  813. <key>FontInfo</key>
  814. <dict>
  815. <key>Font</key>
  816. <string>Helvetica</string>
  817. <key>Size</key>
  818. <real>12</real>
  819. </dict>
  820. <key>ID</key>
  821. <integer>15</integer>
  822. <key>Line</key>
  823. <dict>
  824. <key>ID</key>
  825. <integer>14</integer>
  826. <key>Position</key>
  827. <real>0.31142687797546387</real>
  828. <key>RotationType</key>
  829. <integer>0</integer>
  830. </dict>
  831. <key>Style</key>
  832. <dict>
  833. <key>shadow</key>
  834. <dict>
  835. <key>Draws</key>
  836. <string>NO</string>
  837. </dict>
  838. <key>stroke</key>
  839. <dict>
  840. <key>Draws</key>
  841. <string>NO</string>
  842. </dict>
  843. </dict>
  844. <key>Text</key>
  845. <dict>
  846. <key>Text</key>
  847. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  848. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  849. {\colortbl;\red255\green255\blue255;}
  850. {\*\expandedcolortbl;;}
  851. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  852. \f0\fs24 \cf0 exp, goto}</string>
  853. <key>VerticalPad</key>
  854. <real>0.0</real>
  855. </dict>
  856. <key>Wrap</key>
  857. <string>NO</string>
  858. </dict>
  859. <dict>
  860. <key>Class</key>
  861. <string>LineGraphic</string>
  862. <key>Head</key>
  863. <dict>
  864. <key>ID</key>
  865. <integer>10</integer>
  866. </dict>
  867. <key>ID</key>
  868. <integer>14</integer>
  869. <key>Points</key>
  870. <array>
  871. <string>{373.07560003032933, 146.19090253321772}</string>
  872. <string>{381.05581821514761, 184.70894890504354}</string>
  873. </array>
  874. <key>Style</key>
  875. <dict>
  876. <key>shadow</key>
  877. <dict>
  878. <key>Draws</key>
  879. <string>NO</string>
  880. </dict>
  881. <key>stroke</key>
  882. <dict>
  883. <key>HeadArrow</key>
  884. <string>FilledArrow</string>
  885. <key>Legacy</key>
  886. <true/>
  887. <key>TailArrow</key>
  888. <string>0</string>
  889. </dict>
  890. </dict>
  891. <key>Tail</key>
  892. <dict>
  893. <key>ID</key>
  894. <integer>3</integer>
  895. </dict>
  896. </dict>
  897. <dict>
  898. <key>Bounds</key>
  899. <string>{{281.87742778354777, 153.87706345732582}, {57, 14}}</string>
  900. <key>Class</key>
  901. <string>ShapedGraphic</string>
  902. <key>FitText</key>
  903. <string>YES</string>
  904. <key>Flow</key>
  905. <string>Resize</string>
  906. <key>FontInfo</key>
  907. <dict>
  908. <key>Font</key>
  909. <string>Helvetica</string>
  910. <key>Size</key>
  911. <real>12</real>
  912. </dict>
  913. <key>ID</key>
  914. <integer>13</integer>
  915. <key>Line</key>
  916. <dict>
  917. <key>ID</key>
  918. <integer>12</integer>
  919. <key>Position</key>
  920. <real>0.38223019242286682</real>
  921. <key>RotationType</key>
  922. <integer>0</integer>
  923. </dict>
  924. <key>Style</key>
  925. <dict>
  926. <key>shadow</key>
  927. <dict>
  928. <key>Draws</key>
  929. <string>NO</string>
  930. </dict>
  931. <key>stroke</key>
  932. <dict>
  933. <key>Draws</key>
  934. <string>NO</string>
  935. </dict>
  936. </dict>
  937. <key>Text</key>
  938. <dict>
  939. <key>Text</key>
  940. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  941. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  942. {\colortbl;\red255\green255\blue255;}
  943. {\*\expandedcolortbl;;}
  944. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  945. \f0\fs24 \cf0 INT, shift}</string>
  946. <key>VerticalPad</key>
  947. <real>0.0</real>
  948. </dict>
  949. <key>Wrap</key>
  950. <string>NO</string>
  951. </dict>
  952. <dict>
  953. <key>Class</key>
  954. <string>LineGraphic</string>
  955. <key>Head</key>
  956. <dict>
  957. <key>ID</key>
  958. <integer>11</integer>
  959. </dict>
  960. <key>ID</key>
  961. <integer>12</integer>
  962. <key>Points</key>
  963. <array>
  964. <string>{327.21263468634334, 146.03302985985863}</string>
  965. <string>{283.41514482990004, 184.86944287789356}</string>
  966. </array>
  967. <key>Style</key>
  968. <dict>
  969. <key>shadow</key>
  970. <dict>
  971. <key>Draws</key>
  972. <string>NO</string>
  973. </dict>
  974. <key>stroke</key>
  975. <dict>
  976. <key>HeadArrow</key>
  977. <string>FilledArrow</string>
  978. <key>Legacy</key>
  979. <true/>
  980. <key>TailArrow</key>
  981. <string>0</string>
  982. </dict>
  983. </dict>
  984. <key>Tail</key>
  985. <dict>
  986. <key>ID</key>
  987. <integer>3</integer>
  988. </dict>
  989. </dict>
  990. <dict>
  991. <key>Bounds</key>
  992. <string>{{152.59299999999999, 185.19999999999999}, {170, 80.091300000000004}}</string>
  993. <key>Class</key>
  994. <string>ShapedGraphic</string>
  995. <key>ID</key>
  996. <integer>11</integer>
  997. <key>Style</key>
  998. <dict>
  999. <key>shadow</key>
  1000. <dict>
  1001. <key>Draws</key>
  1002. <string>NO</string>
  1003. </dict>
  1004. </dict>
  1005. <key>Text</key>
  1006. <dict>
  1007. <key>Align</key>
  1008. <integer>0</integer>
  1009. <key>Text</key>
  1010. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  1011. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  1012. {\colortbl;\red255\green255\blue255;}
  1013. {\*\expandedcolortbl;;}
  1014. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  1015. \f0\b\fs24 \cf0 \ul \ulc0 State 4
  1016. \f1\b0 \ulnone \
  1017. exp ::= INT .\
  1018. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  1019. \cf0 \
  1020. end, reduce by rule 3\
  1021. "+", reduce by rule 3}</string>
  1022. <key>VerticalPad</key>
  1023. <real>0.0</real>
  1024. </dict>
  1025. </dict>
  1026. <dict>
  1027. <key>Bounds</key>
  1028. <string>{{326.82999999999993, 185.19999999999999}, {124, 80.091300000000004}}</string>
  1029. <key>Class</key>
  1030. <string>ShapedGraphic</string>
  1031. <key>ID</key>
  1032. <integer>10</integer>
  1033. <key>Style</key>
  1034. <dict>
  1035. <key>shadow</key>
  1036. <dict>
  1037. <key>Draws</key>
  1038. <string>NO</string>
  1039. </dict>
  1040. </dict>
  1041. <key>Text</key>
  1042. <dict>
  1043. <key>Align</key>
  1044. <integer>0</integer>
  1045. <key>Text</key>
  1046. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  1047. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  1048. {\colortbl;\red255\green255\blue255;}
  1049. {\*\expandedcolortbl;;}
  1050. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  1051. \f0\b\fs24 \cf0 \ul \ulc0 State 3
  1052. \f1\b0 \ulnone \
  1053. stmt ::="print" exp .\
  1054. exp ::= exp . "+" exp\
  1055. \
  1056. end, reduce by rule 1}</string>
  1057. <key>VerticalPad</key>
  1058. <real>0.0</real>
  1059. </dict>
  1060. </dict>
  1061. <dict>
  1062. <key>Bounds</key>
  1063. <string>{{58.698604288403899, 150.123735864352}, {63, 14}}</string>
  1064. <key>Class</key>
  1065. <string>ShapedGraphic</string>
  1066. <key>FitText</key>
  1067. <string>YES</string>
  1068. <key>Flow</key>
  1069. <string>Resize</string>
  1070. <key>FontInfo</key>
  1071. <dict>
  1072. <key>Font</key>
  1073. <string>Helvetica</string>
  1074. <key>Size</key>
  1075. <real>12</real>
  1076. </dict>
  1077. <key>ID</key>
  1078. <integer>9</integer>
  1079. <key>Line</key>
  1080. <dict>
  1081. <key>ID</key>
  1082. <integer>8</integer>
  1083. <key>Position</key>
  1084. <real>0.44184160232543945</real>
  1085. <key>RotationType</key>
  1086. <integer>0</integer>
  1087. </dict>
  1088. <key>Style</key>
  1089. <dict>
  1090. <key>shadow</key>
  1091. <dict>
  1092. <key>Draws</key>
  1093. <string>NO</string>
  1094. </dict>
  1095. <key>stroke</key>
  1096. <dict>
  1097. <key>Draws</key>
  1098. <string>NO</string>
  1099. </dict>
  1100. </dict>
  1101. <key>Text</key>
  1102. <dict>
  1103. <key>Text</key>
  1104. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  1105. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  1106. {\colortbl;\red255\green255\blue255;}
  1107. {\*\expandedcolortbl;;}
  1108. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  1109. \f0\fs24 \cf0 stmt, goto}</string>
  1110. <key>VerticalPad</key>
  1111. <real>0.0</real>
  1112. </dict>
  1113. <key>Wrap</key>
  1114. <string>NO</string>
  1115. </dict>
  1116. <dict>
  1117. <key>Class</key>
  1118. <string>LineGraphic</string>
  1119. <key>Head</key>
  1120. <dict>
  1121. <key>ID</key>
  1122. <integer>7</integer>
  1123. </dict>
  1124. <key>ID</key>
  1125. <integer>8</integer>
  1126. <key>Points</key>
  1127. <array>
  1128. <string>{94.824951687395568, 137.87295834640142}</string>
  1129. <string>{84.354359783094935, 181.44236681861972}</string>
  1130. </array>
  1131. <key>Style</key>
  1132. <dict>
  1133. <key>shadow</key>
  1134. <dict>
  1135. <key>Draws</key>
  1136. <string>NO</string>
  1137. </dict>
  1138. <key>stroke</key>
  1139. <dict>
  1140. <key>HeadArrow</key>
  1141. <string>FilledArrow</string>
  1142. <key>Legacy</key>
  1143. <true/>
  1144. <key>TailArrow</key>
  1145. <string>0</string>
  1146. </dict>
  1147. </dict>
  1148. <key>Tail</key>
  1149. <dict>
  1150. <key>ID</key>
  1151. <integer>42</integer>
  1152. </dict>
  1153. </dict>
  1154. <dict>
  1155. <key>Bounds</key>
  1156. <string>{{21.069600000000001, 183.387}, {116.74299999999999, 37}}</string>
  1157. <key>Class</key>
  1158. <string>ShapedGraphic</string>
  1159. <key>ID</key>
  1160. <integer>7</integer>
  1161. <key>Style</key>
  1162. <dict>
  1163. <key>shadow</key>
  1164. <dict>
  1165. <key>Draws</key>
  1166. <string>NO</string>
  1167. </dict>
  1168. <key>stroke</key>
  1169. <dict>
  1170. <key>GapRatio</key>
  1171. <real>0.5</real>
  1172. <key>Width</key>
  1173. <real>4</real>
  1174. </dict>
  1175. </dict>
  1176. <key>Text</key>
  1177. <dict>
  1178. <key>Align</key>
  1179. <integer>0</integer>
  1180. <key>Text</key>
  1181. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  1182. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  1183. {\colortbl;\red255\green255\blue255;}
  1184. {\*\expandedcolortbl;;}
  1185. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  1186. \f0\b\fs24 \cf0 \ul \ulc0 State 2
  1187. \f1\b0 \ulnone \
  1188. start ::= stmt .}</string>
  1189. <key>VerticalPad</key>
  1190. <real>0.0</real>
  1191. </dict>
  1192. </dict>
  1193. <dict>
  1194. <key>Bounds</key>
  1195. <string>{{209.41963498747648, 104.09973501235491}, {71, 14}}</string>
  1196. <key>Class</key>
  1197. <string>ShapedGraphic</string>
  1198. <key>FitText</key>
  1199. <string>YES</string>
  1200. <key>Flow</key>
  1201. <string>Resize</string>
  1202. <key>FontInfo</key>
  1203. <dict>
  1204. <key>Font</key>
  1205. <string>Helvetica</string>
  1206. <key>Size</key>
  1207. <real>12</real>
  1208. </dict>
  1209. <key>ID</key>
  1210. <integer>6</integer>
  1211. <key>Line</key>
  1212. <dict>
  1213. <key>ID</key>
  1214. <integer>5</integer>
  1215. <key>Position</key>
  1216. <real>0.45317202806472778</real>
  1217. <key>RotationType</key>
  1218. <integer>0</integer>
  1219. </dict>
  1220. <key>Style</key>
  1221. <dict>
  1222. <key>shadow</key>
  1223. <dict>
  1224. <key>Draws</key>
  1225. <string>NO</string>
  1226. </dict>
  1227. <key>stroke</key>
  1228. <dict>
  1229. <key>Draws</key>
  1230. <string>NO</string>
  1231. </dict>
  1232. </dict>
  1233. <key>Text</key>
  1234. <dict>
  1235. <key>Text</key>
  1236. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  1237. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  1238. {\colortbl;\red255\green255\blue255;}
  1239. {\*\expandedcolortbl;;}
  1240. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  1241. \f0\fs24 \cf0 "print", shift}</string>
  1242. <key>VerticalPad</key>
  1243. <real>0.0</real>
  1244. </dict>
  1245. <key>Wrap</key>
  1246. <string>NO</string>
  1247. </dict>
  1248. <dict>
  1249. <key>Class</key>
  1250. <string>LineGraphic</string>
  1251. <key>Head</key>
  1252. <dict>
  1253. <key>ID</key>
  1254. <integer>3</integer>
  1255. </dict>
  1256. <key>ID</key>
  1257. <integer>5</integer>
  1258. <key>Points</key>
  1259. <array>
  1260. <string>{196.43041384266974, 110.85826972220971}</string>
  1261. <string>{303.43000623023926, 111.38929152609602}</string>
  1262. </array>
  1263. <key>Style</key>
  1264. <dict>
  1265. <key>shadow</key>
  1266. <dict>
  1267. <key>Draws</key>
  1268. <string>NO</string>
  1269. </dict>
  1270. <key>stroke</key>
  1271. <dict>
  1272. <key>HeadArrow</key>
  1273. <string>FilledArrow</string>
  1274. <key>Legacy</key>
  1275. <true/>
  1276. <key>TailArrow</key>
  1277. <string>0</string>
  1278. </dict>
  1279. </dict>
  1280. <key>Tail</key>
  1281. <dict>
  1282. <key>ID</key>
  1283. <integer>42</integer>
  1284. </dict>
  1285. </dict>
  1286. <dict>
  1287. <key>Bounds</key>
  1288. <string>{{303.93000000000006, 77.701300000000003}, {124, 68}}</string>
  1289. <key>Class</key>
  1290. <string>ShapedGraphic</string>
  1291. <key>ID</key>
  1292. <integer>3</integer>
  1293. <key>Style</key>
  1294. <dict>
  1295. <key>shadow</key>
  1296. <dict>
  1297. <key>Draws</key>
  1298. <string>NO</string>
  1299. </dict>
  1300. </dict>
  1301. <key>Text</key>
  1302. <dict>
  1303. <key>Align</key>
  1304. <integer>0</integer>
  1305. <key>Text</key>
  1306. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  1307. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  1308. {\colortbl;\red255\green255\blue255;}
  1309. {\*\expandedcolortbl;;}
  1310. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  1311. \f0\b\fs24 \cf0 \ul \ulc0 State 1
  1312. \f1\b0 \ulnone \
  1313. stmt ::= "print" . exp\
  1314. exp ::= . exp "+" exp\
  1315. exp ::= . INT}</string>
  1316. <key>VerticalPad</key>
  1317. <real>0.0</real>
  1318. </dict>
  1319. </dict>
  1320. <dict>
  1321. <key>Bounds</key>
  1322. <string>{{6.9304199999999998, 83.386799999999994}, {189, 54}}</string>
  1323. <key>Class</key>
  1324. <string>ShapedGraphic</string>
  1325. <key>ID</key>
  1326. <integer>42</integer>
  1327. <key>Style</key>
  1328. <dict>
  1329. <key>shadow</key>
  1330. <dict>
  1331. <key>Draws</key>
  1332. <string>NO</string>
  1333. </dict>
  1334. </dict>
  1335. <key>Text</key>
  1336. <dict>
  1337. <key>Align</key>
  1338. <integer>0</integer>
  1339. <key>Text</key>
  1340. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  1341. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  1342. {\colortbl;\red255\green255\blue255;}
  1343. {\*\expandedcolortbl;;}
  1344. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  1345. \f0\b\fs24 \cf0 \ul \ulc0 State 0
  1346. \f1\b0 \ulnone \
  1347. start ::= . stmt\
  1348. stmt ::= . \'93print\'94 exp}</string>
  1349. <key>VerticalPad</key>
  1350. <real>0.0</real>
  1351. </dict>
  1352. </dict>
  1353. </array>
  1354. <key>GridInfo</key>
  1355. <dict/>
  1356. <key>GuidesLocked</key>
  1357. <string>NO</string>
  1358. <key>GuidesVisible</key>
  1359. <string>YES</string>
  1360. <key>HPages</key>
  1361. <integer>1</integer>
  1362. <key>ImageCounter</key>
  1363. <integer>1</integer>
  1364. <key>KeepToScale</key>
  1365. <false/>
  1366. <key>Layers</key>
  1367. <array>
  1368. <dict>
  1369. <key>Lock</key>
  1370. <string>NO</string>
  1371. <key>Name</key>
  1372. <string>Layer 1</string>
  1373. <key>Print</key>
  1374. <string>YES</string>
  1375. <key>Slices</key>
  1376. <string>NO</string>
  1377. <key>View</key>
  1378. <string>YES</string>
  1379. </dict>
  1380. </array>
  1381. <key>LayoutInfo</key>
  1382. <dict>
  1383. <key>Animate</key>
  1384. <string>NO</string>
  1385. <key>circoMinDist</key>
  1386. <real>18</real>
  1387. <key>layoutEngine</key>
  1388. <string>dot</string>
  1389. <key>neatoLineLength</key>
  1390. <real>0.20000000298023224</real>
  1391. </dict>
  1392. <key>LinksVisible</key>
  1393. <string>NO</string>
  1394. <key>MagnetsVisible</key>
  1395. <string>NO</string>
  1396. <key>MasterSheets</key>
  1397. <array/>
  1398. <key>ModificationDate</key>
  1399. <string>2022-11-03 12:51:45 +0000</string>
  1400. <key>Modifier</key>
  1401. <string>Jeremy Siek</string>
  1402. <key>NotesVisible</key>
  1403. <string>NO</string>
  1404. <key>Orientation</key>
  1405. <integer>2</integer>
  1406. <key>OriginVisible</key>
  1407. <string>NO</string>
  1408. <key>OutlineStyle</key>
  1409. <string>Basic</string>
  1410. <key>PageBreaks</key>
  1411. <string>YES</string>
  1412. <key>PrintInfo</key>
  1413. <dict>
  1414. <key>NSBottomMargin</key>
  1415. <array>
  1416. <string>float</string>
  1417. <string>11.9906</string>
  1418. </array>
  1419. <key>NSHorizonalPagination</key>
  1420. <array>
  1421. <string>coded</string>
  1422. <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
  1423. </array>
  1424. <key>NSLeftMargin</key>
  1425. <array>
  1426. <string>float</string>
  1427. <string>11.9906</string>
  1428. </array>
  1429. <key>NSPaperSize</key>
  1430. <array>
  1431. <string>size</string>
  1432. <string>{611.99999904632568, 792}</string>
  1433. </array>
  1434. <key>NSPrintReverseOrientation</key>
  1435. <array>
  1436. <string>coded</string>
  1437. <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
  1438. </array>
  1439. <key>NSRightMargin</key>
  1440. <array>
  1441. <string>float</string>
  1442. <string>11.9906</string>
  1443. </array>
  1444. <key>NSTopMargin</key>
  1445. <array>
  1446. <string>float</string>
  1447. <string>11.9906</string>
  1448. </array>
  1449. </dict>
  1450. <key>PrintOnePage</key>
  1451. <false/>
  1452. <key>ReadOnly</key>
  1453. <string>NO</string>
  1454. <key>RowAlign</key>
  1455. <integer>1</integer>
  1456. <key>RowSpacing</key>
  1457. <real>36</real>
  1458. <key>SheetTitle</key>
  1459. <string>Canvas 1</string>
  1460. <key>SmartAlignmentGuidesActive</key>
  1461. <string>YES</string>
  1462. <key>SmartDistanceGuidesActive</key>
  1463. <string>YES</string>
  1464. <key>UniqueID</key>
  1465. <integer>1</integer>
  1466. <key>UseEntirePage</key>
  1467. <true/>
  1468. <key>VPages</key>
  1469. <integer>1</integer>
  1470. <key>WindowInfo</key>
  1471. <dict>
  1472. <key>CurrentSheet</key>
  1473. <integer>0</integer>
  1474. <key>Expanded_Canvases</key>
  1475. <array/>
  1476. <key>Frame</key>
  1477. <string>{{259, 0}, {1005, 745}}</string>
  1478. <key>ShowInfo</key>
  1479. <true/>
  1480. <key>Sidebar</key>
  1481. <false/>
  1482. <key>SidebarWidth</key>
  1483. <integer>0</integer>
  1484. <key>TopSlabHeight</key>
  1485. <real>33</real>
  1486. <key>VisibleRegion</key>
  1487. <string>{{-59, 0}, {708, 648}}</string>
  1488. <key>Zoom</key>
  1489. <real>1</real>
  1490. <key>ZoomValues</key>
  1491. <array>
  1492. <array>
  1493. <string>Canvas 1</string>
  1494. <real>1</real>
  1495. <real>1</real>
  1496. </array>
  1497. </array>
  1498. </dict>
  1499. </dict>
  1500. </plist>