{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

# Module12 - Module 12 Computation and Configurations Formal...

This preview shows pages 1–5. Sign up to view the full content.

1 Module 12 Computation and Configurations Formal Definition Examples

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
2 Definitions Configuration Functional Definition Given the original program and the current configuration of a computation, someone should be able to complete the computation Contents of a configuration for a C++ program current instruction to be executed current value of all variables Computation Complete sequence of configurations
3 Computation 1 1 int main(int x,y) { 2 int r = x % y; 3 if (r== 0) goto 8; 4 x = y; 5 y = r; 6 r = x % y; 7 goto 3; 8 return y; } Input: 10 3 Line 1, x=?,y=?,r=? Line 2, x=10, y=3,r=? Line 3, x=10, y=3, r=1 Line 4, x=10, y=3, r=1 Line 5, x= 3, y=3, r=1 Line 6, x=3, y=1, r=1 Line 7, x=3, y=1, r=0 Line 3, x=3, y=1, r=0 Line 8, x=3, y=1, r=0 Output is 1

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
4 Computation 2 int main(int x,y) { 2 int r = x % y; 3 if (r== 0) goto 8; 4 x = y; 5 y = r; 6 r = x % y; 7 goto 3; 8 return y; } Input: 53 10 Line 1, x=?,y=?,r=?
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 6

Module12 - Module 12 Computation and Configurations Formal...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online