Automate1 Correction
Download as PPT, PDF
0 likes482 views
The document describes the execution of a program that involves four states (ST1, ST2, ST3, ST4) and variables i being incremented and decremented. The program runs through each state, incrementing i through ST1 and ST2, then decrementing i in ST3 if it is equal to 5 before looping back to ST1.
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-1-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-2-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-3-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-4-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=0](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-5-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=0](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-6-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=1](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-7-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=1](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-8-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=2](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-9-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=2](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-10-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-11-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-12-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-13-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3 [ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-14-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3 [ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-15-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-16-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-17-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-18-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-19-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-20-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=4](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-21-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=4](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-22-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=4](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-23-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-24-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-25-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-26-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3 [ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-27-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-28-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-29-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-30-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-31-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST3 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-32-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST3 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-33-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST3 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-34-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST3 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-35-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-36-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-37-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-38-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-39-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-40-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-41-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-42-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-43-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-44-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-45-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-46-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-47-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-48-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-49-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-50-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-51-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-52-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-53-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-54-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-55-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-56-320.jpg)
![ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 I=6](https://image.slidesharecdn.com/automate1correction-1222499382625703-9/85/Automate1-Correction-57-320.jpg)
Automate1 Correction
- 1. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3
- 2. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3
- 3. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3
- 4. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3
- 5. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=0
- 6. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=0
- 7. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=1
- 8. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=1
- 9. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=2
- 10. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=2
- 11. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=3
- 12. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
- 13. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
- 14. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3 [ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
- 15. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3 [ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
- 16. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
- 17. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
- 18. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
- 19. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
- 20. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
- 21. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=4
- 22. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=4
- 23. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=4
- 24. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
- 25. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
- 26. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
- 27. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3 [ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
- 28. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
- 29. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
- 30. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
- 31. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=6
- 32. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST3 I=6
- 33. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST3 I=6
- 34. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST3 I=6
- 35. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST3 I=6
- 36. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
- 37. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
- 38. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
- 39. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
- 40. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4
- 41. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4
- 42. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4
- 43. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4
- 44. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4
- 45. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4
- 46. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=5
- 47. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=5
- 48. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
- 49. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
- 50. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
- 51. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
- 52. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=6
- 53. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
- 54. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
- 55. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
- 56. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
- 57. ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 I=6
- 58. E1 E3 E1 E3 E1 E2 E1 E2 E3 I=6 FIN