Lecture 8 - Counter Programs

Question 1

fact about general purpose programming languages?

Answer 1

they all have the same computational power

also program written in one language can be translated into a functionally equivalent program in another

Question 2

What do counter programs have?

Answer 2

variables of type int
labelled statements of the form L:unlabelled_statement
possibly unlabelled statements

Question 3

What unlabelled statements can we have in counter programs?

Answer 3

x = 0
x = y+1
x = y - 1
if x ==0 goto L
halt