ALGOL W

来自Local Chinese Wikipedia
imported>ExultantEditor2025年12月26日 (五) 16:45的版本
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转到导航 跳转到搜索

脚本错误:没有“Infobox”这个模块。脚本错误:没有“Check for unknown parameters”这个模块。 ALGOL W,一種程式語言,為ALGOL家族的一份子。它基於尼克勞斯·維爾特東尼·霍爾Template:Le針對ALGOL X所提出的草案而設計,希望能作為ALGOL 60的後繼者[1]。經過小幅度的修改[2],在史丹福大學尼克勞斯·維爾特利用IBM System/360機器,以PL360實作出第一版的ALGOL W[3][4]

ALGOL W是原本ALGOL 60的相对简单的升级,它增加了字符串、位串、复数、到记录数据类型引用,和传结果调用参数传递,介入了while语句,将switch替代为case语句,并在总体上的紧实了这门语言。它的編譯器是用尼克勞斯·維爾特所設計的PL360組語所寫成[5]

语法和语义[编辑]

ALGOL W的Template:Le建造在EBCDIC字符编码集的子集之上。在ALGOL 60中,保留字是独立的词法项目,但是在ALGOL W中它们只是字符序列,而不需要被Template:Le起来。保留字和标识符由空格分隔[3]。在这种方式下,ALGOL W的语法类似于Pascal和后来的语言。

《ALGOL W语言描述》[6],采用了类似于巴科斯-诺尔范式(BNF)的Template:Le定义了ALGOL W。这种形式文法Template:Le的先驱[1][7]

大量的ALGOL W语义是在文法上定义的[6]

  • 标识符由它们在当前作用域内的定义来区分。例如,⟨procedure identifier⟩是由过程声明定义的标识符,⟨label identifier⟩是用作goto标签的标识符。
  • 变量Template:Le类型通过附缀来的表示。例如,⟨τ function identifier⟩是针对返回类型τ的值的函数的一个语法实体,如果这个标识符已经在当前作用域内被声明为整数函数,那么它被展开为⟨integer function identifier⟩
  • 类型错误是文法错误。例如,⟨integer expression⟩ / ⟨integer expression⟩⟨real expression⟩ / ⟨real expression⟩是表示表达式的有效而不同的语法实体,但是⟨real expression⟩ DIV ⟨integer expression⟩(即在浮点值上进行整数除法)是无效的语法实体。

例子[编辑]

下面例子展示ALGOL W的记录类型设施:

RECORD PERSON (
    STRING(20) NAME; 
    INTEGER AGE; 
    LOGICAL MALE; 
    REFERENCE(PERSON) FATHER, MOTHER, YOUNGESTOFFSPRING, ELDERSIBLING
);

REFERENCE(PERSON) PROCEDURE YOUNGESTUNCLE (REFERENCE(PERSON) R);
BEGIN
    REFERENCE(PERSON) P, M;
    P := YOUNGESTOFFSPRING(FATHER(FATHER(R)));
    WHILE (P ¬= NULL) AND (¬ MALE(P)) OR (P = FATHER(R)) DO
        P := ELDERSIBLING(P);
    M := YOUNGESTOFFSPRING(MOTHER(MOTHER(R)));
    WHILE (M ¬= NULL) AND (¬ MALE(M)) DO
        M := ELDERSIBLING(M);
    IF P = NULL THEN 
        M 
    ELSE IF M = NULL THEN 
        P 
    ELSE 
        IF AGE(P) < AGE(M) THEN P ELSE M
END

引用[编辑]

  1. 1.0 1.1 Template:Cite journal
  2. Template:Cite web
  3. 3.0 3.1 Template:Cite report (Various documents for Stanford's 1972 implementation of ALGOL W; this report includes the ALGOL W Language Description.
  4. Template:Cite web
  5. Template:Cite web
  6. 6.0 6.1 Template:Cite report
  7. Template:Cite report

外部链接[编辑]

脚本错误:没有“Authority control”这个模块。脚本错误:没有“Check for unknown parameters”这个模块。 Template:ALGOL programming