Index  263  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 