Real (continued) identifier, EBNF for, 153,219, 228 write, 135-138, 197-198 Record data types, in type taxonomy, 55, 210 accessing component of, 72-73, 162-163 sample program using, 68-69 structure, 144 types, 65-75,156-158 EBNFfor,157,218,228 syntax diagram for, 66 (see als{) Fixed records, Variant records) section EBNF for, 157, 218, 228 syntax diagram for, 66 variable EBNFfor, 163,219,228 list, EBNF for, 177,217,228 Recursion, sample program using, 116-117,118-119 Recursive data structures, 95 functions, 123, 183 procedures, 7, 113, 182 Reference to a variable, 161, 163, 164,170,176,180 Refinement steps, 102, 242-245 Relational operators, 31, 146, 169,208 EBNF for, 165,218,228 on enumerated types, 51 and ordinal types, 16 and precedence, 32, 166 and sets, 78 and string types, 63 Repeat statement, 35, 37, 146, 174 EBNF for, 174, 217, 228 examples of, 37, 174 syntax diagram, 35 Repetitive statements, 35-43, 173-176 EBNFfor, 174,217,228 (see also Repeat, For, While) 

Reserved words, 7 (see als{) Word symbols) Reset, 87,129,132,190,199,206, 211 Result type, EBNF for, 183,218,228 of function, 122, 146, 183 of operators, 208 of relational operators, 145 Rewrite, 88, 129, 190, 199,206,211 Round, 18, 193,206,211 Run-time validity check, of subrange types, 54 ScaleFactor,EBNF for, 150,220, 228 Scope, 5-6, 177-179 offield identifier, 65, 75, 156, 176,178-179 of function variables, 122 of identifier, 5, 6,105,146,149 of constant identifiers. introduced by enumerated type in record type, 72 and spelling, 149. 178 in with statement, 73, 75, 177 Search, of linked list, 99 Secondary storage, 87 Selection from linked list, 98 (see also Component) Selector type, and case statement, 46 Semicolon and else, 44 rules for, 34 Separators, of symbols, 9, 150 Sequential-access, of file, 86-87 Sequential file, as file type, 86. 145.157-158 Set assignment, example of, 79 base type, and real type, 20 constructors, 77. 165-166. 209 EBNF for. 164,219,229 syntax diagram, 77 data structure. 7, 144 

