Assign_3_SOLN University of Florida CEN 6070

CIS 4930/6930: Programs, Functions, Strange Loops, and
Consciousness
Programs and Functions Assignment 3

1. (5 pts.) If f = [while p do g], which one of the following, according to the Iteration
Recursion Lemma (IRL), is functionally equivalent to [while p do g]? Circle ONE only.

a. [if p then f;g end_if] b. [if p then g o f end_if] c. [if p then g else f end_if_else]


d. [if p then f else g end_if_else] e. [if p then g end_if] f. [if p then f end_if; g]


g. [if p then g;f end_if] h. [if p then f end_if] i. (none of the above)


2. (14 pts.) Match each assertion of functional correctness below to the appropriate
Correctness Condition(s) among the following. (Note: Correctness Condition(s) may be
appropriate for none, one, or more than one assertion.)

A. (f = gohok) E. term(f,S), pog  (f = g), ¬(pog)  (f = fog)

B. p  (f = g), ¬p  (f = h) F. term(f,S), p  (f = fog) ¬p  (f = I)

C. (f = kohog) G. term(f,S), gop  (f = g), ¬(gop)  (f = gof)

D. p  (f = g), ¬p  (f = I) H. term(f,S), p  (f = gof) ¬p  (f = I)



E ____ a. f = [S] where S = repeat g until p

D ____ b. f = [if p then g]

C ____ c. f = [g;h;k]

E ____ d. f = [S] where S = g; if ¬p then repeat g until p end_if

B ____ e. f = [if p then g else h]

E ____ f. f = [S] where S = g; while ¬p do g

F ____ g. f = [S] where S = if p then g; while p do g end_if




This study source was downloaded by 100000850872992 from CourseHero.com on 04-09-2023 02:27:48 GMT -05:00


https://www.coursehero.com/file/122497376/Assign-3-SOLNpdf/