Consider the following type declarations TYPE Alinteger; A2 pointer to float; A3 pointer to integer; T1...

    

Transcribed Image Text:

Consider the following type declarations TYPE Alinteger; A2 pointer to float; A3 pointer to integer; T1 structure (x: integer; } T2 structure (x: A1; next pointer to integer; } b float; } a : integer; } pointer to T6; c pointer to T7; } T3 structure (a : integer; T4 structure (b: float; T5 structure (a pointer to T5; b T6structure { a pointer to T6; b pointer to T5; c : pointer to T5; } T7structure a : pointer to T6; b pointer to T7; c pointer to T9; } T8 structure { a pointer to T7; b pointer to T6; c: pointer to T10; } T9 array [4] [5] of T8; T10 array [4] [5] of T7; // array 4 rows 5 columns Assuming the most permissive definition of structural equivalence, which types are structurally equivalent? Draw the table step by step. Acti Go to Consider the following variable declarations in conjunction to the above type declarations VAR s: T9; t: T9; u T10; v array [5] [4] of T8; W, Z : struct { int a; // var declaration section }; struct T5* next; x, y struct { }; int a; struct T5* next; f function of T9 returns int; gfunction of T9 returns Al; m: int; n Al; 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. s = t; t = u; . u V; V = W; . W = Z; . Z = x; m = f(s) n = f(u) Consider the following type declarations TYPE Alinteger; A2 pointer to float; A3 pointer to integer; T1 structure (x: integer; } T2 structure (x: A1; next pointer to integer; } b float; } a : integer; } pointer to T6; c pointer to T7; } T3 structure (a : integer; T4 structure (b: float; T5 structure (a pointer to T5; b T6structure { a pointer to T6; b pointer to T5; c : pointer to T5; } T7structure a : pointer to T6; b pointer to T7; c pointer to T9; } T8 structure { a pointer to T7; b pointer to T6; c: pointer to T10; } T9 array [4] [5] of T8; T10 array [4] [5] of T7; // array 4 rows 5 columns Assuming the most permissive definition of structural equivalence, which types are structurally equivalent? Draw the table step by step. Acti Go to Consider the following variable declarations in conjunction to the above type declarations VAR s: T9; t: T9; u T10; v array [5] [4] of T8; W, Z : struct { int a; // var declaration section }; struct T5* next; x, y struct { }; int a; struct T5* next; f function of T9 returns int; gfunction of T9 returns Al; m: int; n Al; 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. s = t; t = u; . u V; V = W; . W = Z; . Z = x; m = f(s) n = f(u)