用户名:  密码:
兄弟在线   

标题:C# 教程--2.2.1 文法表示法

作者:未知 来源:www.dbaii.com 时间:2011-07-06

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

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



编辑:admin 总点击 [1600]   评论  0 查看评论
上一篇:C# 教程--2.1 程序
下一篇:C# 教程--2.3.1 行结束符
【关闭窗口】
您可能感兴趣的文章
我要评论
          
评论标题:   可以输入250
 
验证数字: 7 + 8 =
兄弟友情提示
· 请自觉遵守国家有关法律、法规,尊重网上道德。
· 兄弟在线坚决抵制不良言行,违者文责自负。
· 如果文章有版权或其他问题等,请联系我们,我们会尽快处理。
· 文章注名来自网络的旨在传播共享信息,不做其它用途;注名原创的本站支持原创,但不代表同意其观点。
· 兄弟在线拥有管理用户与其文章和评论的一切权利,并有权在网站内转载或引用。
兄弟在线
兄弟热门文章
兄弟推荐文章
兄弟站内搜索

兄弟感兴趣的文章
兄弟最新影视