On the nonexistence of a phrase structure grammar for ALGOL 60

1 September 1962

journal article
Published by Association for Computing Machinery (ACM) in Communications of the ACM

Vol. 5 (9) , 483-484
https://doi.org/10.1145/368834.368898

Abstract

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.

Keywords

NONEXISTENCE
SUFFICIENT
PARTLY
PHRASE STRUCTURE GRAMMAR
FORMAL
ALGOL