On the Nonexistence of a Phrase Structure Grammar for ALGOL 60 ALGOL 60 is defined partly by formal mechanisms of phrase structure grammar, partly by informally stated restrictions. It is shown that no formal mechanisms of the type used are sufficient to define ALGOL 60. CACM September, 1962 Floyd, R. W. CA620909 JB March 17, 1978 7:33 PM 249 4 483 254 4 483 272 4 483 1102 4 483 1109 4 483 1140 4 483 1188 4 483 1306 4 483 1464 4 483 1491 4 483 1767 4 483 1781 4 483 1787 4 483 1949 4 483 321 4 483 2059 4 483 2126 4 483 435 4 483 437 4 483 463 4 483 483 4 483 491 4 483 2732 4 483 560 4 483 583 4 483 3073 4 483 627 4 483 631 4 483 632 4 483 642 4 483 644 4 483 653 4 483 680 4 483 761 4 483 762 4 483 763 4 483 123 4 483 140 4 483 919 4 483 989 4 483 196 5 483 949 5 483 1102 5 483 1142 5 483 1781 5 483 1945 5 483 483 5 483 483 5 483 483 5 483 762 5 483 823 6 483 123 6 483 196 6 483 196 6 483 196 6 483 914 6 483 915 6 483 917 6 483 919 6 483 984 6 483 989 6 483 990 6 483 990 6 483 1007 6 483 1012 6 483 1046 6 483 1084 6 483 1098 6 483 1122 6 483 1131 6 483 1138 6 483 1139 6 483 1139 6 483 1140 6 483 1141 6 483 1149 6 483 1198 6 483 1200 6 483 1215 6 483 1223 6 483 1223 6 483 1265 6 483 1265 6 483 1303 6 483 1323 6 483 1336 6 483 1358 6 483 1366 6 483 1396 6 483 1421 6 483 1455 6 483 1460 6 483 1462 6 483 1463 6 483 1467 6 483 1468 6 483 1477 6 483 1477 6 483 1487 6 483 1491 6 483 1491 6 483 1496 6 483 1496 6 483 1531 6 483 1535 6 483 1565 6 483 1601 6 483 1602 6 483 1613 6 483 1614 6 483 1626 6 483 1641 6 483 1787 6 483 1788 6 483 205 6 483 209 6 483 210 6 483 224 6 483 249 6 483 249 6 483 288 6 483 316 6 483 381 6 483 398 6 483 11 6 483 404 6 483 406 6 483 410 6 483 463 6 483 464 6 483 483 6 483 483 6 483 483 6 483 483 6 483 483 6 483 483 6 483 3184 6 483 3184 6 483 3188 6 483 584 6 483 584 6 483 584 6 483 600 6 483 669 6 483 680 6 483 680 6 483 691 6 483 763 6 483 763 6 483 799 6 483