Consider the following type declarations:

TYPE

T$1$ : bool

T$2$ : structure $\{$a: int;$\}$

T$3$ : structure $\{$a: pointer to T$5$; b: int;$\}$

T$4$ : structure $\{$c: pointer to T$6$; a: int;$\}$

T$5$ : structure $\{$ a: function of T$7$ returns T$1$; $\}$;

T$6$ : structure $\{$ b: function of T$8$ returns bool; $\}$;

T$7$ : array $[1][6]$ of T$3$

T$8$ : array $[1][6]$ of T$4$

Q$1.$ Which types are structurally equivalent? Show the step by step table

Q$2.$

VAR

x : T$3$;

y : T$4$;

u : T$5$;

v : T$5$;

z$,$ w : pointer to T$2$;

p : pointer to T$5$;

Assume that assignments between variables are allowed

if the types of the variables are equivalent. For each of the following, list all type

equivalence schemes under which the expression is valid. Consider name equivalence, internal name equivalence, and structural equivalence for each case. Assume that if two variables are equivalent under name equivalence, they are also equivalent under internal name equivalence.

x $=$ y;

u $=$ v;

w $=$ z;

p $=$ y$.$c;