automate1 correction
DESCRIPTION
Exercice UML sur diagramme automateTRANSCRIPT
![Page 1: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/1.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
![Page 2: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/2.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
![Page 3: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/3.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
![Page 4: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/4.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
![Page 5: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/5.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=0
![Page 6: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/6.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=0
![Page 7: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/7.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=1
![Page 8: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/8.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=1
![Page 9: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/9.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=2
![Page 10: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/10.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=2
![Page 11: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/11.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=3
![Page 12: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/12.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
![Page 13: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/13.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
![Page 14: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/14.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
![Page 15: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/15.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
![Page 16: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/16.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
![Page 17: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/17.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
![Page 18: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/18.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
![Page 19: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/19.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
![Page 20: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/20.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
![Page 21: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/21.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=4
![Page 22: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/22.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=4
![Page 23: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/23.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=4
![Page 24: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/24.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
![Page 25: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/25.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
![Page 26: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/26.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
![Page 27: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/27.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
![Page 28: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/28.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
![Page 29: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/29.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
![Page 30: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/30.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
![Page 31: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/31.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=6
![Page 32: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/32.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST3 I=6
![Page 33: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/33.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST3 I=6
![Page 34: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/34.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST3 I=6
![Page 35: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/35.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST3 I=6
![Page 36: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/36.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
![Page 37: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/37.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
![Page 38: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/38.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
![Page 39: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/39.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
![Page 40: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/40.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=4
![Page 41: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/41.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=4
![Page 42: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/42.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=4
![Page 43: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/43.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=4
![Page 44: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/44.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=4
![Page 45: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/45.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=4
![Page 46: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/46.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=5
![Page 47: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/47.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=5
![Page 48: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/48.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
![Page 49: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/49.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
![Page 50: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/50.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
![Page 51: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/51.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
![Page 52: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/52.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=6
![Page 53: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/53.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
![Page 54: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/54.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
![Page 55: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/55.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
![Page 56: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/56.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
![Page 57: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/57.jpg)
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
I=6
![Page 58: Automate1 Correction](https://reader035.vdocument.in/reader035/viewer/2022081414/549c5885ac7959dd2a8b46d2/html5/thumbnails/58.jpg)
E1E3E1E3E1E2E1E2
E3
I=6