Expressing Imperative Programs Functionally (2 of 4)
lLabel each arc with the name of a function having the state vector as an argument, except for the input arc, which gets the input variables as an argument, and the output arc, which need not be labeled.
x = 1;
a = 1;
a = a*x;
x = x+1;
x <= n
yes
no
input n
output a
fac(n)
f1(a, n, x)
f2(a, n, x)
f1(a, n, x)
This arc is regarded as the same as the one above.