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