shift-reduce-conflict.graffle 34 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457
  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>Font</key>
  303. <string>Helvetica</string>
  304. <key>Size</key>
  305. <real>12</real>
  306. </dict>
  307. <key>ID</key>
  308. <integer>30</integer>
  309. <key>Line</key>
  310. <dict>
  311. <key>ID</key>
  312. <integer>28</integer>
  313. <key>Position</key>
  314. <real>0.13972456753253937</real>
  315. <key>RotationType</key>
  316. <integer>0</integer>
  317. </dict>
  318. <key>Style</key>
  319. <dict>
  320. <key>shadow</key>
  321. <dict>
  322. <key>Draws</key>
  323. <string>NO</string>
  324. </dict>
  325. <key>stroke</key>
  326. <dict>
  327. <key>Draws</key>
  328. <string>NO</string>
  329. </dict>
  330. </dict>
  331. <key>Text</key>
  332. <dict>
  333. <key>Text</key>
  334. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  335. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;}
  336. {\colortbl;\red255\green255\blue255;\red255\green0\blue0;}
  337. {\*\expandedcolortbl;;\csgenericrgb\c100000\c0\c0;}
  338. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  339. \f0\b\fs24 \cf2 "+", shift}</string>
  340. <key>VerticalPad</key>
  341. <real>0.0</real>
  342. </dict>
  343. <key>Wrap</key>
  344. <string>NO</string>
  345. </dict>
  346. <dict>
  347. <key>Class</key>
  348. <string>LineGraphic</string>
  349. <key>Head</key>
  350. <dict>
  351. <key>ID</key>
  352. <integer>16</integer>
  353. </dict>
  354. <key>ID</key>
  355. <integer>28</integer>
  356. <key>Points</key>
  357. <array>
  358. <string>{206.9408186443008, 391.12150637740746}</string>
  359. <string>{240.93000000000001, 421.387}</string>
  360. <string>{295.38191220546872, 391.03245543105913}</string>
  361. </array>
  362. <key>Style</key>
  363. <dict>
  364. <key>shadow</key>
  365. <dict>
  366. <key>Draws</key>
  367. <string>NO</string>
  368. </dict>
  369. <key>stroke</key>
  370. <dict>
  371. <key>HeadArrow</key>
  372. <string>FilledArrow</string>
  373. <key>Legacy</key>
  374. <true/>
  375. <key>LineType</key>
  376. <integer>1</integer>
  377. <key>TailArrow</key>
  378. <string>0</string>
  379. </dict>
  380. </dict>
  381. <key>Tail</key>
  382. <dict>
  383. <key>ID</key>
  384. <integer>24</integer>
  385. </dict>
  386. </dict>
  387. <dict>
  388. <key>Bounds</key>
  389. <string>{{313.51897408719032, 411.68510098106117}, {60, 14}}</string>
  390. <key>Class</key>
  391. <string>ShapedGraphic</string>
  392. <key>FitText</key>
  393. <string>YES</string>
  394. <key>Flow</key>
  395. <string>Resize</string>
  396. <key>FontInfo</key>
  397. <dict>
  398. <key>Font</key>
  399. <string>Helvetica</string>
  400. <key>Size</key>
  401. <real>12</real>
  402. </dict>
  403. <key>ID</key>
  404. <integer>26</integer>
  405. <key>Line</key>
  406. <dict>
  407. <key>ID</key>
  408. <integer>25</integer>
  409. <key>Position</key>
  410. <real>0.17646275460720062</real>
  411. <key>RotationType</key>
  412. <integer>0</integer>
  413. </dict>
  414. <key>Style</key>
  415. <dict>
  416. <key>shadow</key>
  417. <dict>
  418. <key>Draws</key>
  419. <string>NO</string>
  420. </dict>
  421. <key>stroke</key>
  422. <dict>
  423. <key>Draws</key>
  424. <string>NO</string>
  425. </dict>
  426. </dict>
  427. <key>Text</key>
  428. <dict>
  429. <key>Text</key>
  430. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  431. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  432. {\colortbl;\red255\green255\blue255;}
  433. {\*\expandedcolortbl;;}
  434. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  435. \f0\fs24 \cf0 exp, goto}</string>
  436. <key>VerticalPad</key>
  437. <real>0.0</real>
  438. </dict>
  439. <key>Wrap</key>
  440. <string>NO</string>
  441. </dict>
  442. <dict>
  443. <key>Class</key>
  444. <string>LineGraphic</string>
  445. <key>Head</key>
  446. <dict>
  447. <key>ID</key>
  448. <integer>24</integer>
  449. </dict>
  450. <key>ID</key>
  451. <integer>25</integer>
  452. <key>Points</key>
  453. <array>
  454. <string>{344.20929342477388, 391.25860591833538}</string>
  455. <string>{332.82999999999998, 422.387}</string>
  456. <string>{223.65242880066489, 374.45977971637694}</string>
  457. </array>
  458. <key>Style</key>
  459. <dict>
  460. <key>shadow</key>
  461. <dict>
  462. <key>Draws</key>
  463. <string>NO</string>
  464. </dict>
  465. <key>stroke</key>
  466. <dict>
  467. <key>HeadArrow</key>
  468. <string>FilledArrow</string>
  469. <key>Legacy</key>
  470. <true/>
  471. <key>LineType</key>
  472. <integer>1</integer>
  473. <key>TailArrow</key>
  474. <string>0</string>
  475. </dict>
  476. </dict>
  477. <key>Tail</key>
  478. <dict>
  479. <key>ID</key>
  480. <integer>16</integer>
  481. </dict>
  482. </dict>
  483. <dict>
  484. <key>Bounds</key>
  485. <string>{{84.375, 296.78899999999999}, {138.81960000000007, 94}}</string>
  486. <key>Class</key>
  487. <string>ShapedGraphic</string>
  488. <key>ID</key>
  489. <integer>24</integer>
  490. <key>Style</key>
  491. <dict>
  492. <key>shadow</key>
  493. <dict>
  494. <key>Draws</key>
  495. <string>NO</string>
  496. </dict>
  497. </dict>
  498. <key>Text</key>
  499. <dict>
  500. <key>Align</key>
  501. <integer>0</integer>
  502. <key>Text</key>
  503. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  504. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  505. {\colortbl;\red255\green255\blue255;\red255\green0\blue0;}
  506. {\*\expandedcolortbl;;\csgenericrgb\c100000\c0\c0;}
  507. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  508. \f0\b\fs24 \cf0 \ul \ulc0 State 6
  509. \f1\b0 \ulnone \
  510. exp ::= exp "+" exp .\
  511. exp ::= exp . "+" exp\
  512. \
  513. end, reduce by rule 2\
  514. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  515. \f0\b \cf2 "+", reduce by rule 2}</string>
  516. <key>VerticalPad</key>
  517. <real>0.0</real>
  518. </dict>
  519. </dict>
  520. <dict>
  521. <key>Bounds</key>
  522. <string>{{345.41938261314169, 284.44973402795284}, {55, 14}}</string>
  523. <key>Class</key>
  524. <string>ShapedGraphic</string>
  525. <key>FitText</key>
  526. <string>YES</string>
  527. <key>Flow</key>
  528. <string>Resize</string>
  529. <key>FontInfo</key>
  530. <dict>
  531. <key>Font</key>
  532. <string>Helvetica</string>
  533. <key>Size</key>
  534. <real>12</real>
  535. </dict>
  536. <key>ID</key>
  537. <integer>20</integer>
  538. <key>Line</key>
  539. <dict>
  540. <key>ID</key>
  541. <integer>19</integer>
  542. <key>Position</key>
  543. <real>0.45416185259819031</real>
  544. <key>RotationType</key>
  545. <integer>0</integer>
  546. </dict>
  547. <key>Style</key>
  548. <dict>
  549. <key>shadow</key>
  550. <dict>
  551. <key>Draws</key>
  552. <string>NO</string>
  553. </dict>
  554. <key>stroke</key>
  555. <dict>
  556. <key>Draws</key>
  557. <string>NO</string>
  558. </dict>
  559. </dict>
  560. <key>Text</key>
  561. <dict>
  562. <key>Text</key>
  563. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  564. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  565. {\colortbl;\red255\green255\blue255;}
  566. {\*\expandedcolortbl;;}
  567. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  568. \f0\fs24 \cf0 "+", shift}</string>
  569. <key>VerticalPad</key>
  570. <real>0.0</real>
  571. </dict>
  572. <key>Wrap</key>
  573. <string>NO</string>
  574. </dict>
  575. <dict>
  576. <key>Class</key>
  577. <string>LineGraphic</string>
  578. <key>Head</key>
  579. <dict>
  580. <key>ID</key>
  581. <integer>16</integer>
  582. </dict>
  583. <key>ID</key>
  584. <integer>19</integer>
  585. <key>Points</key>
  586. <array>
  587. <string>{379.08911933179019, 265.77745757128127}</string>
  588. <string>{365.50423363666948, 322.30417128716539}</string>
  589. </array>
  590. <key>Style</key>
  591. <dict>
  592. <key>shadow</key>
  593. <dict>
  594. <key>Draws</key>
  595. <string>NO</string>
  596. </dict>
  597. <key>stroke</key>
  598. <dict>
  599. <key>HeadArrow</key>
  600. <string>FilledArrow</string>
  601. <key>Legacy</key>
  602. <true/>
  603. <key>TailArrow</key>
  604. <string>0</string>
  605. </dict>
  606. </dict>
  607. <key>Tail</key>
  608. <dict>
  609. <key>ID</key>
  610. <integer>10</integer>
  611. </dict>
  612. </dict>
  613. <dict>
  614. <key>Bounds</key>
  615. <string>{{273.79140379336644, 289.54334199314354}, {57, 14}}</string>
  616. <key>Class</key>
  617. <string>ShapedGraphic</string>
  618. <key>FitText</key>
  619. <string>YES</string>
  620. <key>Flow</key>
  621. <string>Resize</string>
  622. <key>FontInfo</key>
  623. <dict>
  624. <key>Font</key>
  625. <string>Helvetica</string>
  626. <key>Size</key>
  627. <real>12</real>
  628. </dict>
  629. <key>ID</key>
  630. <integer>18</integer>
  631. <key>Line</key>
  632. <dict>
  633. <key>ID</key>
  634. <integer>17</integer>
  635. <key>Position</key>
  636. <real>0.45588919520378113</real>
  637. <key>RotationType</key>
  638. <integer>0</integer>
  639. </dict>
  640. <key>Style</key>
  641. <dict>
  642. <key>shadow</key>
  643. <dict>
  644. <key>Draws</key>
  645. <string>NO</string>
  646. </dict>
  647. <key>stroke</key>
  648. <dict>
  649. <key>Draws</key>
  650. <string>NO</string>
  651. </dict>
  652. </dict>
  653. <key>Text</key>
  654. <dict>
  655. <key>Text</key>
  656. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  657. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  658. {\colortbl;\red255\green255\blue255;}
  659. {\*\expandedcolortbl;;}
  660. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  661. \f0\fs24 \cf0 INT, shift}</string>
  662. <key>VerticalPad</key>
  663. <real>0.0</real>
  664. </dict>
  665. <key>Wrap</key>
  666. <string>NO</string>
  667. </dict>
  668. <dict>
  669. <key>Class</key>
  670. <string>LineGraphic</string>
  671. <key>Head</key>
  672. <dict>
  673. <key>ID</key>
  674. <integer>11</integer>
  675. </dict>
  676. <key>ID</key>
  677. <integer>17</integer>
  678. <key>Points</key>
  679. <array>
  680. <string>{325.70660922935861, 322.41826462523846}</string>
  681. <string>{274.34499419231014, 265.66122190033178}</string>
  682. </array>
  683. <key>Style</key>
  684. <dict>
  685. <key>shadow</key>
  686. <dict>
  687. <key>Draws</key>
  688. <string>NO</string>
  689. </dict>
  690. <key>stroke</key>
  691. <dict>
  692. <key>HeadArrow</key>
  693. <string>FilledArrow</string>
  694. <key>Legacy</key>
  695. <true/>
  696. <key>TailArrow</key>
  697. <string>0</string>
  698. </dict>
  699. </dict>
  700. <key>Tail</key>
  701. <dict>
  702. <key>ID</key>
  703. <integer>16</integer>
  704. </dict>
  705. </dict>
  706. <dict>
  707. <key>Bounds</key>
  708. <string>{{294.80999999999995, 322.78899999999999}, {124, 68}}</string>
  709. <key>Class</key>
  710. <string>ShapedGraphic</string>
  711. <key>ID</key>
  712. <integer>16</integer>
  713. <key>Style</key>
  714. <dict>
  715. <key>shadow</key>
  716. <dict>
  717. <key>Draws</key>
  718. <string>NO</string>
  719. </dict>
  720. </dict>
  721. <key>Text</key>
  722. <dict>
  723. <key>Align</key>
  724. <integer>0</integer>
  725. <key>Text</key>
  726. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  727. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  728. {\colortbl;\red255\green255\blue255;}
  729. {\*\expandedcolortbl;;}
  730. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  731. \f0\b\fs24 \cf0 \ul \ulc0 State 5
  732. \f1\b0 \ulnone \
  733. exp ::= exp "+" . exp\
  734. exp ::= . exp "+" exp\
  735. exp ::= . INT}</string>
  736. <key>VerticalPad</key>
  737. <real>0.0</real>
  738. </dict>
  739. </dict>
  740. <dict>
  741. <key>Bounds</key>
  742. <string>{{345.56085446255753, 151.1864574478019}, {60, 14}}</string>
  743. <key>Class</key>
  744. <string>ShapedGraphic</string>
  745. <key>FitText</key>
  746. <string>YES</string>
  747. <key>Flow</key>
  748. <string>Resize</string>
  749. <key>FontInfo</key>
  750. <dict>
  751. <key>Font</key>
  752. <string>Helvetica</string>
  753. <key>Size</key>
  754. <real>12</real>
  755. </dict>
  756. <key>ID</key>
  757. <integer>15</integer>
  758. <key>Line</key>
  759. <dict>
  760. <key>ID</key>
  761. <integer>14</integer>
  762. <key>Position</key>
  763. <real>0.31142687797546387</real>
  764. <key>RotationType</key>
  765. <integer>0</integer>
  766. </dict>
  767. <key>Style</key>
  768. <dict>
  769. <key>shadow</key>
  770. <dict>
  771. <key>Draws</key>
  772. <string>NO</string>
  773. </dict>
  774. <key>stroke</key>
  775. <dict>
  776. <key>Draws</key>
  777. <string>NO</string>
  778. </dict>
  779. </dict>
  780. <key>Text</key>
  781. <dict>
  782. <key>Text</key>
  783. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  784. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  785. {\colortbl;\red255\green255\blue255;}
  786. {\*\expandedcolortbl;;}
  787. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  788. \f0\fs24 \cf0 exp, goto}</string>
  789. <key>VerticalPad</key>
  790. <real>0.0</real>
  791. </dict>
  792. <key>Wrap</key>
  793. <string>NO</string>
  794. </dict>
  795. <dict>
  796. <key>Class</key>
  797. <string>LineGraphic</string>
  798. <key>Head</key>
  799. <dict>
  800. <key>ID</key>
  801. <integer>10</integer>
  802. </dict>
  803. <key>ID</key>
  804. <integer>14</integer>
  805. <key>Points</key>
  806. <array>
  807. <string>{373.07560003032933, 146.19090253321772}</string>
  808. <string>{381.05581821514761, 184.70894890504354}</string>
  809. </array>
  810. <key>Style</key>
  811. <dict>
  812. <key>shadow</key>
  813. <dict>
  814. <key>Draws</key>
  815. <string>NO</string>
  816. </dict>
  817. <key>stroke</key>
  818. <dict>
  819. <key>HeadArrow</key>
  820. <string>FilledArrow</string>
  821. <key>Legacy</key>
  822. <true/>
  823. <key>TailArrow</key>
  824. <string>0</string>
  825. </dict>
  826. </dict>
  827. <key>Tail</key>
  828. <dict>
  829. <key>ID</key>
  830. <integer>3</integer>
  831. </dict>
  832. </dict>
  833. <dict>
  834. <key>Bounds</key>
  835. <string>{{281.97191119672993, 153.87747993666363}, {57, 14}}</string>
  836. <key>Class</key>
  837. <string>ShapedGraphic</string>
  838. <key>FitText</key>
  839. <string>YES</string>
  840. <key>Flow</key>
  841. <string>Resize</string>
  842. <key>FontInfo</key>
  843. <dict>
  844. <key>Font</key>
  845. <string>Helvetica</string>
  846. <key>Size</key>
  847. <real>12</real>
  848. </dict>
  849. <key>ID</key>
  850. <integer>13</integer>
  851. <key>Line</key>
  852. <dict>
  853. <key>ID</key>
  854. <integer>12</integer>
  855. <key>Position</key>
  856. <real>0.38223019242286682</real>
  857. <key>RotationType</key>
  858. <integer>0</integer>
  859. </dict>
  860. <key>Style</key>
  861. <dict>
  862. <key>shadow</key>
  863. <dict>
  864. <key>Draws</key>
  865. <string>NO</string>
  866. </dict>
  867. <key>stroke</key>
  868. <dict>
  869. <key>Draws</key>
  870. <string>NO</string>
  871. </dict>
  872. </dict>
  873. <key>Text</key>
  874. <dict>
  875. <key>Text</key>
  876. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  877. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  878. {\colortbl;\red255\green255\blue255;}
  879. {\*\expandedcolortbl;;}
  880. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  881. \f0\fs24 \cf0 INT, shift}</string>
  882. <key>VerticalPad</key>
  883. <real>0.0</real>
  884. </dict>
  885. <key>Wrap</key>
  886. <string>NO</string>
  887. </dict>
  888. <dict>
  889. <key>Class</key>
  890. <string>LineGraphic</string>
  891. <key>Head</key>
  892. <dict>
  893. <key>ID</key>
  894. <integer>11</integer>
  895. </dict>
  896. <key>ID</key>
  897. <integer>12</integer>
  898. <key>Points</key>
  899. <array>
  900. <string>{327.21263468634334, 146.03302985985863}</string>
  901. <string>{283.41514482990004, 184.86944287789356}</string>
  902. </array>
  903. <key>Style</key>
  904. <dict>
  905. <key>shadow</key>
  906. <dict>
  907. <key>Draws</key>
  908. <string>NO</string>
  909. </dict>
  910. <key>stroke</key>
  911. <dict>
  912. <key>HeadArrow</key>
  913. <string>FilledArrow</string>
  914. <key>Legacy</key>
  915. <true/>
  916. <key>TailArrow</key>
  917. <string>0</string>
  918. </dict>
  919. </dict>
  920. <key>Tail</key>
  921. <dict>
  922. <key>ID</key>
  923. <integer>3</integer>
  924. </dict>
  925. </dict>
  926. <dict>
  927. <key>Bounds</key>
  928. <string>{{152.59299999999999, 185.19999999999999}, {170, 80.091300000000004}}</string>
  929. <key>Class</key>
  930. <string>ShapedGraphic</string>
  931. <key>ID</key>
  932. <integer>11</integer>
  933. <key>Style</key>
  934. <dict>
  935. <key>shadow</key>
  936. <dict>
  937. <key>Draws</key>
  938. <string>NO</string>
  939. </dict>
  940. </dict>
  941. <key>Text</key>
  942. <dict>
  943. <key>Align</key>
  944. <integer>0</integer>
  945. <key>Text</key>
  946. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  947. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  948. {\colortbl;\red255\green255\blue255;}
  949. {\*\expandedcolortbl;;}
  950. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  951. \f0\b\fs24 \cf0 \ul \ulc0 State 4
  952. \f1\b0 \ulnone \
  953. exp ::= INT .\
  954. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  955. \cf0 \
  956. end, reduce by rule 3\
  957. "+", reduce by rule 3}</string>
  958. <key>VerticalPad</key>
  959. <real>0.0</real>
  960. </dict>
  961. </dict>
  962. <dict>
  963. <key>Bounds</key>
  964. <string>{{326.82999999999993, 185.19999999999999}, {124, 80.091300000000004}}</string>
  965. <key>Class</key>
  966. <string>ShapedGraphic</string>
  967. <key>ID</key>
  968. <integer>10</integer>
  969. <key>Style</key>
  970. <dict>
  971. <key>shadow</key>
  972. <dict>
  973. <key>Draws</key>
  974. <string>NO</string>
  975. </dict>
  976. </dict>
  977. <key>Text</key>
  978. <dict>
  979. <key>Align</key>
  980. <integer>0</integer>
  981. <key>Text</key>
  982. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  983. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  984. {\colortbl;\red255\green255\blue255;}
  985. {\*\expandedcolortbl;;}
  986. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  987. \f0\b\fs24 \cf0 \ul \ulc0 State 3
  988. \f1\b0 \ulnone \
  989. stmt ::="print" exp .\
  990. exp ::= exp . "+" exp\
  991. \
  992. end, reduce by rule 1}</string>
  993. <key>VerticalPad</key>
  994. <real>0.0</real>
  995. </dict>
  996. </dict>
  997. <dict>
  998. <key>Bounds</key>
  999. <string>{{58.69860858447602, 150.12373559242712}, {63, 14}}</string>
  1000. <key>Class</key>
  1001. <string>ShapedGraphic</string>
  1002. <key>FitText</key>
  1003. <string>YES</string>
  1004. <key>Flow</key>
  1005. <string>Resize</string>
  1006. <key>FontInfo</key>
  1007. <dict>
  1008. <key>Font</key>
  1009. <string>Helvetica</string>
  1010. <key>Size</key>
  1011. <real>12</real>
  1012. </dict>
  1013. <key>ID</key>
  1014. <integer>9</integer>
  1015. <key>Line</key>
  1016. <dict>
  1017. <key>ID</key>
  1018. <integer>8</integer>
  1019. <key>Position</key>
  1020. <real>0.44184160232543945</real>
  1021. <key>RotationType</key>
  1022. <integer>0</integer>
  1023. </dict>
  1024. <key>Style</key>
  1025. <dict>
  1026. <key>shadow</key>
  1027. <dict>
  1028. <key>Draws</key>
  1029. <string>NO</string>
  1030. </dict>
  1031. <key>stroke</key>
  1032. <dict>
  1033. <key>Draws</key>
  1034. <string>NO</string>
  1035. </dict>
  1036. </dict>
  1037. <key>Text</key>
  1038. <dict>
  1039. <key>Text</key>
  1040. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  1041. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  1042. {\colortbl;\red255\green255\blue255;}
  1043. {\*\expandedcolortbl;;}
  1044. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  1045. \f0\fs24 \cf0 stmt, goto}</string>
  1046. <key>VerticalPad</key>
  1047. <real>0.0</real>
  1048. </dict>
  1049. <key>Wrap</key>
  1050. <string>NO</string>
  1051. </dict>
  1052. <dict>
  1053. <key>Class</key>
  1054. <string>LineGraphic</string>
  1055. <key>Head</key>
  1056. <dict>
  1057. <key>ID</key>
  1058. <integer>7</integer>
  1059. </dict>
  1060. <key>ID</key>
  1061. <integer>8</integer>
  1062. <key>Points</key>
  1063. <array>
  1064. <string>{94.824951687395568, 137.87295834640142}</string>
  1065. <string>{84.354359783094935, 181.44236681861972}</string>
  1066. </array>
  1067. <key>Style</key>
  1068. <dict>
  1069. <key>shadow</key>
  1070. <dict>
  1071. <key>Draws</key>
  1072. <string>NO</string>
  1073. </dict>
  1074. <key>stroke</key>
  1075. <dict>
  1076. <key>HeadArrow</key>
  1077. <string>FilledArrow</string>
  1078. <key>Legacy</key>
  1079. <true/>
  1080. <key>TailArrow</key>
  1081. <string>0</string>
  1082. </dict>
  1083. </dict>
  1084. <key>Tail</key>
  1085. <dict>
  1086. <key>ID</key>
  1087. <integer>42</integer>
  1088. </dict>
  1089. </dict>
  1090. <dict>
  1091. <key>Bounds</key>
  1092. <string>{{21.069600000000001, 183.387}, {116.74299999999999, 37}}</string>
  1093. <key>Class</key>
  1094. <string>ShapedGraphic</string>
  1095. <key>ID</key>
  1096. <integer>7</integer>
  1097. <key>Style</key>
  1098. <dict>
  1099. <key>shadow</key>
  1100. <dict>
  1101. <key>Draws</key>
  1102. <string>NO</string>
  1103. </dict>
  1104. <key>stroke</key>
  1105. <dict>
  1106. <key>GapRatio</key>
  1107. <real>0.5</real>
  1108. <key>Width</key>
  1109. <real>4</real>
  1110. </dict>
  1111. </dict>
  1112. <key>Text</key>
  1113. <dict>
  1114. <key>Align</key>
  1115. <integer>0</integer>
  1116. <key>Text</key>
  1117. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  1118. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  1119. {\colortbl;\red255\green255\blue255;}
  1120. {\*\expandedcolortbl;;}
  1121. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  1122. \f0\b\fs24 \cf0 \ul \ulc0 State 2
  1123. \f1\b0 \ulnone \
  1124. start ::= stmt .}</string>
  1125. <key>VerticalPad</key>
  1126. <real>0.0</real>
  1127. </dict>
  1128. </dict>
  1129. <dict>
  1130. <key>Bounds</key>
  1131. <string>{{209.41963711018818, 104.09891395490264}, {71, 14}}</string>
  1132. <key>Class</key>
  1133. <string>ShapedGraphic</string>
  1134. <key>FitText</key>
  1135. <string>YES</string>
  1136. <key>Flow</key>
  1137. <string>Resize</string>
  1138. <key>FontInfo</key>
  1139. <dict>
  1140. <key>Font</key>
  1141. <string>Helvetica</string>
  1142. <key>Size</key>
  1143. <real>12</real>
  1144. </dict>
  1145. <key>ID</key>
  1146. <integer>6</integer>
  1147. <key>Line</key>
  1148. <dict>
  1149. <key>ID</key>
  1150. <integer>5</integer>
  1151. <key>Position</key>
  1152. <real>0.45317202806472778</real>
  1153. <key>RotationType</key>
  1154. <integer>0</integer>
  1155. </dict>
  1156. <key>Style</key>
  1157. <dict>
  1158. <key>shadow</key>
  1159. <dict>
  1160. <key>Draws</key>
  1161. <string>NO</string>
  1162. </dict>
  1163. <key>stroke</key>
  1164. <dict>
  1165. <key>Draws</key>
  1166. <string>NO</string>
  1167. </dict>
  1168. </dict>
  1169. <key>Text</key>
  1170. <dict>
  1171. <key>Text</key>
  1172. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  1173. {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
  1174. {\colortbl;\red255\green255\blue255;}
  1175. {\*\expandedcolortbl;;}
  1176. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
  1177. \f0\fs24 \cf0 "print", shift}</string>
  1178. <key>VerticalPad</key>
  1179. <real>0.0</real>
  1180. </dict>
  1181. <key>Wrap</key>
  1182. <string>NO</string>
  1183. </dict>
  1184. <dict>
  1185. <key>Class</key>
  1186. <string>LineGraphic</string>
  1187. <key>Head</key>
  1188. <dict>
  1189. <key>ID</key>
  1190. <integer>3</integer>
  1191. </dict>
  1192. <key>ID</key>
  1193. <integer>5</integer>
  1194. <key>Points</key>
  1195. <array>
  1196. <string>{196.43041384266974, 110.85826972220971}</string>
  1197. <string>{303.43000623023926, 111.38929152609602}</string>
  1198. </array>
  1199. <key>Style</key>
  1200. <dict>
  1201. <key>shadow</key>
  1202. <dict>
  1203. <key>Draws</key>
  1204. <string>NO</string>
  1205. </dict>
  1206. <key>stroke</key>
  1207. <dict>
  1208. <key>HeadArrow</key>
  1209. <string>FilledArrow</string>
  1210. <key>Legacy</key>
  1211. <true/>
  1212. <key>TailArrow</key>
  1213. <string>0</string>
  1214. </dict>
  1215. </dict>
  1216. <key>Tail</key>
  1217. <dict>
  1218. <key>ID</key>
  1219. <integer>42</integer>
  1220. </dict>
  1221. </dict>
  1222. <dict>
  1223. <key>Bounds</key>
  1224. <string>{{303.93000000000006, 77.701300000000003}, {124, 68}}</string>
  1225. <key>Class</key>
  1226. <string>ShapedGraphic</string>
  1227. <key>ID</key>
  1228. <integer>3</integer>
  1229. <key>Style</key>
  1230. <dict>
  1231. <key>shadow</key>
  1232. <dict>
  1233. <key>Draws</key>
  1234. <string>NO</string>
  1235. </dict>
  1236. </dict>
  1237. <key>Text</key>
  1238. <dict>
  1239. <key>Align</key>
  1240. <integer>0</integer>
  1241. <key>Text</key>
  1242. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  1243. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  1244. {\colortbl;\red255\green255\blue255;}
  1245. {\*\expandedcolortbl;;}
  1246. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  1247. \f0\b\fs24 \cf0 \ul \ulc0 State 1
  1248. \f1\b0 \ulnone \
  1249. stmt ::= "print" . exp\
  1250. exp ::= . exp "+" exp\
  1251. exp ::= . INT}</string>
  1252. <key>VerticalPad</key>
  1253. <real>0.0</real>
  1254. </dict>
  1255. </dict>
  1256. <dict>
  1257. <key>Bounds</key>
  1258. <string>{{6.9304199999999998, 83.386799999999994}, {189, 54}}</string>
  1259. <key>Class</key>
  1260. <string>ShapedGraphic</string>
  1261. <key>ID</key>
  1262. <integer>42</integer>
  1263. <key>Style</key>
  1264. <dict>
  1265. <key>shadow</key>
  1266. <dict>
  1267. <key>Draws</key>
  1268. <string>NO</string>
  1269. </dict>
  1270. </dict>
  1271. <key>Text</key>
  1272. <dict>
  1273. <key>Align</key>
  1274. <integer>0</integer>
  1275. <key>Text</key>
  1276. <string>{\rtf1\ansi\ansicpg1252\cocoartf1671\cocoasubrtf600
  1277. {\fonttbl\f0\fswiss\fcharset0 Helvetica-Bold;\f1\fswiss\fcharset0 Helvetica;}
  1278. {\colortbl;\red255\green255\blue255;}
  1279. {\*\expandedcolortbl;;}
  1280. \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
  1281. \f0\b\fs24 \cf0 \ul \ulc0 State 0
  1282. \f1\b0 \ulnone \
  1283. start ::= . stmt\
  1284. stmt ::= . \'93print\'94 exp}</string>
  1285. <key>VerticalPad</key>
  1286. <real>0.0</real>
  1287. </dict>
  1288. </dict>
  1289. </array>
  1290. <key>GridInfo</key>
  1291. <dict/>
  1292. <key>GuidesLocked</key>
  1293. <string>NO</string>
  1294. <key>GuidesVisible</key>
  1295. <string>YES</string>
  1296. <key>HPages</key>
  1297. <integer>1</integer>
  1298. <key>ImageCounter</key>
  1299. <integer>1</integer>
  1300. <key>KeepToScale</key>
  1301. <false/>
  1302. <key>Layers</key>
  1303. <array>
  1304. <dict>
  1305. <key>Lock</key>
  1306. <string>NO</string>
  1307. <key>Name</key>
  1308. <string>Layer 1</string>
  1309. <key>Print</key>
  1310. <string>YES</string>
  1311. <key>Slices</key>
  1312. <string>NO</string>
  1313. <key>View</key>
  1314. <string>YES</string>
  1315. </dict>
  1316. </array>
  1317. <key>LayoutInfo</key>
  1318. <dict>
  1319. <key>Animate</key>
  1320. <string>NO</string>
  1321. <key>circoMinDist</key>
  1322. <real>18</real>
  1323. <key>layoutEngine</key>
  1324. <string>dot</string>
  1325. <key>neatoLineLength</key>
  1326. <real>0.20000000298023224</real>
  1327. </dict>
  1328. <key>LinksVisible</key>
  1329. <string>NO</string>
  1330. <key>MagnetsVisible</key>
  1331. <string>NO</string>
  1332. <key>MasterSheets</key>
  1333. <array/>
  1334. <key>ModificationDate</key>
  1335. <string>2022-06-28 13:08:13 +0000</string>
  1336. <key>Modifier</key>
  1337. <string>Jeremy Siek</string>
  1338. <key>NotesVisible</key>
  1339. <string>NO</string>
  1340. <key>Orientation</key>
  1341. <integer>2</integer>
  1342. <key>OriginVisible</key>
  1343. <string>NO</string>
  1344. <key>OutlineStyle</key>
  1345. <string>Basic</string>
  1346. <key>PageBreaks</key>
  1347. <string>YES</string>
  1348. <key>PrintInfo</key>
  1349. <dict>
  1350. <key>NSBottomMargin</key>
  1351. <array>
  1352. <string>float</string>
  1353. <string>11.9906</string>
  1354. </array>
  1355. <key>NSHorizonalPagination</key>
  1356. <array>
  1357. <string>coded</string>
  1358. <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
  1359. </array>
  1360. <key>NSLeftMargin</key>
  1361. <array>
  1362. <string>float</string>
  1363. <string>11.9906</string>
  1364. </array>
  1365. <key>NSPaperSize</key>
  1366. <array>
  1367. <string>size</string>
  1368. <string>{611.99999904632568, 792}</string>
  1369. </array>
  1370. <key>NSPrintReverseOrientation</key>
  1371. <array>
  1372. <string>coded</string>
  1373. <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
  1374. </array>
  1375. <key>NSRightMargin</key>
  1376. <array>
  1377. <string>float</string>
  1378. <string>11.9906</string>
  1379. </array>
  1380. <key>NSTopMargin</key>
  1381. <array>
  1382. <string>float</string>
  1383. <string>11.9906</string>
  1384. </array>
  1385. </dict>
  1386. <key>PrintOnePage</key>
  1387. <false/>
  1388. <key>ReadOnly</key>
  1389. <string>NO</string>
  1390. <key>RowAlign</key>
  1391. <integer>1</integer>
  1392. <key>RowSpacing</key>
  1393. <real>36</real>
  1394. <key>SheetTitle</key>
  1395. <string>Canvas 1</string>
  1396. <key>SmartAlignmentGuidesActive</key>
  1397. <string>YES</string>
  1398. <key>SmartDistanceGuidesActive</key>
  1399. <string>YES</string>
  1400. <key>UniqueID</key>
  1401. <integer>1</integer>
  1402. <key>UseEntirePage</key>
  1403. <true/>
  1404. <key>VPages</key>
  1405. <integer>1</integer>
  1406. <key>WindowInfo</key>
  1407. <dict>
  1408. <key>CurrentSheet</key>
  1409. <integer>0</integer>
  1410. <key>Expanded_Canvases</key>
  1411. <array/>
  1412. <key>Frame</key>
  1413. <string>{{1116, 336}, {1005, 745}}</string>
  1414. <key>ShowInfo</key>
  1415. <true/>
  1416. <key>Sidebar</key>
  1417. <false/>
  1418. <key>SidebarWidth</key>
  1419. <integer>0</integer>
  1420. <key>TopSlabHeight</key>
  1421. <real>33</real>
  1422. <key>VisibleRegion</key>
  1423. <string>{{-59, 0}, {708, 648}}</string>
  1424. <key>Zoom</key>
  1425. <real>1</real>
  1426. <key>ZoomValues</key>
  1427. <array>
  1428. <array>
  1429. <string>Canvas 1</string>
  1430. <real>1</real>
  1431. <real>1</real>
  1432. </array>
  1433. </array>
  1434. </dict>
  1435. </dict>
  1436. </plist>