Access Restriction

Author Bosworth, K. M.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
Language English
Abstract The proof of the non-existence of a phrase structure grammar for ALGOL 60 by Robert W. Floyd [Comm. ACM 5 (Sept. 1962)] depends on the assumption that a syntactically correct ALGOL program must be a block. The concept of “program” is defined ambiguously in the ALGOL Report, as pointed out by Naur [1], but it is generally accepted that a program is defined as a self-contained statement. If this definition is taken, Floyd's proof becomes incomplete in that it ignores the fact that the following are syntactically correct ALGOL programs:begin; endbegin end&lpargt;dummy statement⦔
Description Affiliation: I.C.T. Ltd., Blyth Road, Hayes, Middlesex, England (Bosworth, K. M.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 6
Issue Number 3
Page Count 1
Starting Page 105
Ending Page 105

Open content in new tab

   Open content in new tab
Source: ACM Digital Library