科技行者

行者学院 转型私董会 科技行者专题报道 网红大战科技行者

知识库

知识库 安全导航

至顶网软件频道C# 语言规范--2.2.1 文法表示法

C# 语言规范--2.2.1 文法表示法

  • 扫一扫
    分享文章到微信

  • 扫一扫
    关注官方公众号
    至顶头条

     词法文法和句法文法用文法产生式来表示。每个文法产生式定义一个非结束符号和它可能的扩展(由非结束符或结束符组成的序列)。在文法产生式中,非结束符号显示为斜体,而结束符号显示为等宽字体。

作者:中国IT实验室 来源:中国IT实验室 2007年9月27日

关键字: 语言 C# 编程

  • 评论
  • 分享微博
  • 分享邮件
  

  词法文法和句法文法用文法产生式来表示。每个文法产生式定义一个非结束符号和它可能的扩展(由非结束符或结束符组成的序列)。在文法产生式中,非结束符号显示为斜体,而结束符号显示为等宽字体。

  文法产生式的第一行是该产生式所定义的非结束符号的名称,后跟一个冒号。每个后续的缩进行列出一个可能的扩展,它是以非结束符或结束符组成的序列的形式给出的。例如,产生式:

  while-statement:(while 语句:)

  while   (   boolean-expression   )   embedded-statement(while   (   布尔表达式   )   嵌入语句)

  定义了一个 while 语句,它是这样构成的:由标记 while 开始,后跟标记“(”、布尔表达式、标记“)”和嵌入的语句。

  当有不止一个可能的非结束符号扩展时,列出这些可能的扩展(每个扩展单独占一行)。例如,产生式:

  statement-list:(语句列表:)

  statement(语句)

  statement-list   statement(语句列表   语句)

  定义一个语句列表,它或仅含有一个语句,或由一个语句列表和随后跟着的一个语句组成。换言之,定义是递归的,语句列表由一个或多个语句组成。

  一个符号若以下标“可选”作其后缀,就表明该符号是可选的。产生式:

  block:(块:)

  {   statement-listopt   }({   语句列表可选   })

  是以下产生式的简短形式:

  block:(块:)

  {   }

  {   statement-list   }({   语句列表   })

  它定义了一个块,此块由一个用“{”和“}”标记括起来的可选语句列表组成。

  可选项通常在单独的行上列出,但是当有许多可选项时,可以在单行上给定的扩展列表之前加上短语“下列之一”。这只是在单独一行上列出每个可选项的简短形式。例如,产生式:

  real-type-suffix: one of(实数类型后缀:下列之一)

  F f D d M m

  是以下产生式的简短形式:

  real-type-suffix:(实数类型后缀:)

  F
  f
  D
  d
  M
  m

查看本文来源

    • 评论
    • 分享微博
    • 分享邮件
    邮件订阅

    如果您非常迫切的想了解IT领域最新产品与技术信息,那么订阅至顶网技术邮件将是您的最佳途径之一。

    重磅专题
    往期文章
    最新文章