我的编译器 EBNF的方言

最新推荐文章于 2023-12-31 12:12:14 发布
最新推荐文章于 2023-12-31 12:12:14 发布
阅读量2.5k 收藏 1
点赞数
分类专栏： 编译器 文章标签： 编译器 whitespace class string 正则表达式 语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/AlexAngel/article/details/354802
版权
C3语言定义（EBNF方言）
关键字 ：
        Section
       Class
       End
       Scanner
       Parser
       Rule
       Label
       Letter
       Digit
       LetterOrDigit
       UpperLetter
       LowerLetter
       Symbol
       WhiteSpace
       CrLf
操作符 ：
       =>
       ,
       +
       *
       []
       !
       |
其它字符 ：
       ()
       ;
其中 Section, Class, End, Rule, Label为EBNF语言通用关键字。
Label只允许使用一个终结符作为推导。
Scanner,Parser作为特殊关键字，表示扫描器和分析器的规则。
Letter等为Scanner规则专用关键字，它将对应于其字面意义的字符类型。
 
=>  为推导符，表示前面的规则是由后面的产生式推导出来的。不允许出现在推导表达式中。
;      为推导结束符号，类似于c中的逻辑行结束符。
,      为连接符，也可以使用空白。
+     为正闭包，后置运算符，表示其前面的元素的正整数次幂是可接受的。
*     星闭包，后置运算符，表示其前面的元素的自然数次幂是可接受的。
[]     可选，表示其中的元素可以匹配也可以不匹配。
()     括号，处理优先级问题。
!      非，后置运算符，扫描器规则专用。并且只允许单个字符或其或操作进行非操作。
|      或，表示可以匹配多个元素中的一个。
 
其中*,+,!为一元运算符。
连接和或为二元运算符。
优先级为
!>*=+>连接>或
 
 
区别Unicode字符与普通字符。
 
由于实现问题，扫描器的规则使用Label型的字符串表示的.NET正则表达式。而不是标准的EBNF语言的语义。主要是转换上的技术问题。
 
1.        ID=>Letter+;
       上面的例子是说标签ID是由字符的正闭包组成的，即一个或多个字符组成。例如：a,aaaaa,Hello….都是合法的ID，而a2,__a__都是不合法的。
2.        ID=>LetterOrDigit*;
       ID由字符或数字的星闭包，即0个或多个字符或数字组成。例如：φ,aa,sss,a3,a2都是合法的。
3.        ID=>Letter!+;
       ID由不是字符的符号组成。例如：32-9023&*)是合法的，而234af是不合法的。
4.        ID=>”Hello”;
       ID只有一个合法形式，即Hello,其他形式一概不合法。
5.        ID=>”Hello”|”Hi”;
       ID只有两个合法形式，即Hello和Hi,其他形式一概不合法。
6.        ID=>”aaa”[“sss”]”ddd”;
       ID可以匹配aaaddd也可以匹配aaasssddd，即sss是可选的。
 
注意事项：
       不要把WhiteSpace关键字作为语句的开始，因为它不生成匹配代码。规则调用要放在终结符匹配之前。
 
       这样，一个EBNF方言的基本结构已经渐渐呈现出来了。接下来我们使用C3来描述它自己。同时我们就可以看到C3的用法以及证明其可用性。
EBNF 自描述：
Class Scanner                            '这是必不可少的，否则没有扫描器，整个编译器都没法工作。
       Section Operator              '操作符段，标识所有的操作符，可以使用与VB类似的单词型的操作符。
              Label Trans=>"=>";    '推导符，表示右边的表达式是左边的规则的推导。
              Label EndLine=>";";    '由于有些规则非常长，以及出于代码的可读性的担心，
                                   '使用结束符来表示语句的结束，同时由于忽略空白的特性   
                                   '使其可以和C语言一样将语句分成多个行来书写以增强可读性。
              Label Join=>",";           '在初期的策划中，空白有意义，但在后继版本中，空白
                                     '不再有意义，所以间隔两个单词就需要一个分隔符，由此保留。
              Label Positive=>"+";   '正闭包
              Label Repeat=>"*";    '星闭包
              Label LOpt=>"["; '可选开始
              Label ROpt=>"]"; '可选结束。可选符实际上有两个符号组成，由于也是括
                                  '号所以也有分割/改变优先级的作用。
              Label Not=>"!";    '非，只可用于扫描器的单字符或字符集。
       End Section
      
       Section KeyWord               '关键字段，将所有的关键字都放在这里。
              Label K_Section=>"Section";     '用于声明区段
              Label K_Class=>"Class";     '声明类，实际上目前的语法只有两个类，即Scanner和Parser
              Label K_End=>"End";        '结束区段或类
              Label K_Scanner=>"Scanner";  '
              Label K_Parser=>"Parser"; '
              Label K_Rule=>"Rule";              '声明一个语法规则
              Label K_Label=>"Label";     '声明一个字符串常量
              Section Letters
                     Label K_Letter=>"Letter";
                     Label K_Digit=>"Digit";
                     Label K_LOD=>"LetterOrDigit";
                     Label K_Upper=>"UpperLetter";
                     Label K_Lower=>"LowerLetter";
                     Label K_Symbol=>"Symbol";
                     Label K_WhiteSpace=>"WhiteSpace";
              End Section
              Label K_CrLf=>"CrLf";
       End Section
 
       Section Comment
              Label LineComment=>"'";  '注释
       End Section
 
       Section Other                            '这个段的规则使用.NET的正则表达式而简化
                                          '转换的复杂性
              Rule ID=>("_"LetterOrDigit|Letter)("_"|LetterOrDigit)*; '"((_[/d/p{L}])|/p{L})[_/d/p{L}]*"
              Rule String=>""""(""""!|"""""")*""""; '"""([^""]|"""")*"""
       End Section
      
End Class
 
Class Parser
       Rule Program=>ScannerDecl ParserDecl;              '扫描器类在前，分析器类在后。
       Rule ScannerDecl=>
                     "Class" "Scanner"
                            [OperatorSection]
                            [KeyWordSection]
                            [CommentSection]
                            [OtherRuleSection]
                     "End" "Class";
                    
       Rule OperatorSection=>
                     "Section" "Operator"
                            SCSectionDecl*
                            LabelDecl*
                     "End" "Section";
                    
       Rule KeyWordSection=>
                     "Section" "KeyWord"
                            SCSectionDecl*
                            LabelDecl*
                     "End" "Section";
                    
       Rule CommentSection=>
                     "Section" "Comment"
                            [LineComDecl]
                            [BlockComStart           '声明了开始符就必须声明结束符,否则将被忽略。
                             BlockComEnd]
                     "End" "Section";
                    
       Rule OtherSection=>
                     "Section" "Other"
                            SCSectionDecl*
                            LabelDecl*
                     "End" "Section";
      
       Rule LineComDecl=>"Rule" "LineComment" "=>" String;    '注释符显然只能是一个字符串。
       Rule BlockComStart=>"Rule" "BlockCommentStart" "=>" String;
       Rule BlockComEnd=>"Rule" "BlockCommentEnd" "=>" String;
      
       Rule SCSectionDecl=>
                     "Section" ID
                            (LabelDecl|SCRuleDecl)*
                     "End" "Section";
                    
       Rule SCROSectionDecl=>          '只允许声明规则的Section，这是上面的规范所要求的，
                                                    '但是为了实现上的方便，实际上并没有使用。
                     "Section" ID
                             SCRuleDecl*
                     "End" "Section";
                    
       Rule LabelDecl=>"Label" ID "=>" String;
       Rule SCRuleDecl=>"Rule" ID "=>" SCExp;
 
       Rule SCQExp=>("(" SCExp ")")|("[" SCExp "]");
       Rule SCExp=>SCOrExp["!"]["*"|"+"];
       Rule SCOrExp=>SCJoinExp("|" SCJoinExp)*;
       Rule SCJoinExp=>SCExpElem([","] SCExpElem)*;
       Rule SCExpElem=>String|Letters|SCQExp;
      
       '下面的是分析器的
       Rule ParserDecl=>
                     "Class" "Parser"
                            (SectionDecl
                            |RuleDecl)*
                     "End" "Class";
                    
       Rule RuleDecl=>"Rule" ID "=>" Exp;
      
       Rule QExp=>("(" Exp ")")|("[" Exp "]");
       Rule Exp=>OrExp["!"]["*"|"+"];
       Rule OrExp=>JoinExp("|" JoinExp)*;
       Rule JoinExp=>ExpElem([","] ExpElem)*;
       Rule ExpElem=>String|ID|QExp;
      
       Rule SectionDecl=>
                     "Section" ID
                            (LabelDecl|RuleDecl)*
                     "End" "Section";
      
      
       Rule ROSectionDecl=>'只允许声明规则的Section
                     "Section" ID
                            RuleDecl*
                     "End" "Section";
             
                    
End Class
 
       给出上面的EBNF自描述的目的在于既可以使人更深入的了解C3的目的、格式、含义、语法。接下来我们要着手实现这个C3的编译器。
AlexAngel
关注
专栏目录
python-grako：Python语法编译器，EBNF输入，PEGPackrat解析器输出
02-28
python-grako：Python语法编译器，EBNF输入，PEGPackrat解析器输出
编程的头十年：说方言
编程故事的地方
04-05 172
个人编程史第一章第二部分 说方言 1957年，FORTRAN（公式转换）使人们可以通过编写与人为逻辑的程序来编写程序，而不必记住困难的操作码。 人类可读（和相关）编程语言的工作方式是采用一种概念，例如打印出某种东西，就像我们在上面看到的那样，它需要十几行汇编代码，然后将该概念抽象为一个保留字 。 保留字与二进制或十六进制字不同。 保留字是人类语言代码字，代表计算机字中的整个句子。 对于FO...
EBNF
weixin_34295316的博客
02-20 946
D := '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' //单个数字DL := D | D DL //非负整数（连续数字）FN := DL | DL '.' DL //实数S := '-' FN | FN //有理数 ＝＝＝＝＝＝＝＝＝＝ D := '0' |...
EBNF:EBNF可视化器
03-22
EBNF EBNF可视化器 根据林茨大学Hanspeter Moessenboeck支持的Markus Dopler的Stefan Schoergenhumer，Markus Dopler对可视化器进行了更新
ebnf2railroad:为EBNF创建漂亮的文档
05-02
EBNF 2铁路 一个命令行工具，用于创建出色的文档，包括基于ISO / IEC 14977规范的铁路图 特征 根据EBNF语法创建优化的视觉语法图 使用已使用声明的引用进行快速导航 使用markdown的不错的评论标记 验证文档是否完整...
EbnfParser：ISO EBNF表示法解析器
02-04
EbnfParser的核心功能是将EBNF语法转换为抽象语法树（AST），这是编译器和解释器设计中的关键步骤。解析器会分析输入的EBNF规则，识别出不同的语法元素，如非终结符、终结符、选择、重复、选项等，并将它们组织成一...
编译器.zip
10-22
语法分析器依据语言的语法规则（通常由BNF或EBNF表示）来检查标记序列是否形成合法的语法结构。如果源代码的结构不正确，编译器会在这一阶段产生语法错误。 最后，语义分析阶段，对应yuyi.txt，主要关注代码的意义...
ebnf2yacc:ebnf2yacc是yacc的kleene闭包预处理器
05-18
ebnf2yacc 版权所有（C）2011-2017 关于 ebnf2yacc是yacc的kleene闭包预处理器。 它采用ebnf规范作为输入并生成yacc语法。 一个激励人的例子 输入： %% program: (expr)+ '\n' { for(auto p = $1->begin(); p !...
b.rar_verilog ebnf
09-22
在计算机科学领域，尤其是编译器设计中，`verilog ebnf` 是一个关键的话题。`b.rar_verilog ebnf` 提供了一个关于如何使用递归下降分析（Recursive Descent Parsing）来处理Verilog语言文法规则的示例。下面我们将...
EBNF英文版讲义
12-12
EBNF英文版简单介绍，出自加州大学欧文分校
C-语法图 Syntax Diagram
04-05
编译原理，C-语言的语法图，EBNF方式描述。
ebnf范式_EBNF
weixin_39970855的博客
12-20 323
约定1. 使用了如下约定:扩展 BNF 每个元标识符都被写为用连字号连接起来的一个或多个字；结束于“-symbol” 的元标识符是扩展 BNF 的终结符的名字。2. 表示扩展 BNF 的每个操作符的正常字符和它所蕴涵的优先级(顶部为最高优先级)为:* repetition-symbol- except-symbol, concatenate-symbol| definition-separator...
EBNF实例讲解（翻译自Extended BNF. ISO/IEC 14977 : 1996(E)）
huaiyingdetective的博客
05-27 1108
实在是资料太少了，这作业写得我要死了。 资料都是英文的，我觉得直接看例子比较容易懂。 话不多说上例子了。 4.22 Further examples The following example is a syntax-rule that states that a Fortran 77 continuation line starts with 5 blanks, the sixth character must not be a blank or zero, and there must not be
ebnf范式_(4条消息)扩展巴科斯范式(EBNF)简介
weixin_35735398的博客
12-30 357
介绍扩展巴科斯-瑙尔范式(Extended Backus–Naur Form,EBNF)是一种用于描述计算机编程语言等正式语言的与上下文无关语法的元语法(metasyntax)符号表示法。简而言之，它是一种描述语言的语言。它是基本巴科斯范式(BNF)元语法符号表示法的一种扩展。最初由尼克劳斯·维尔特开发，最常用的EBNF变体由标准是 ISO-14977 所定义。EBNF的基本语法形式如下，这个形式...
什么是EBNF？并举例介绍
qq_33471732的博客
06-17 1859
EBNF的语法规则通常由一个非终结符号（也称为符号）和一个或多个终结符号（也称为字面量）组成。非终结符号表示语法规则的一个部分，而终结符号表示语法规则的一个具体的值。EBNF的语法规则可以很好地描述各种编程和数据格式，如XML、HTML、JSON、Python等。它是许多编程语言和数据格式的背后语法描述的基础。它使用一些扩展的符号来描述语法规则，包括方括号、花括号、括号和管道符号等。这些规则定义了一个简单的四则运算表达式的语法，它包括整数、加减乘除和括号等基本运算。在这个例子中，我们定义了四个非终结符号。
【编译器学习】EBNF扩展巴科斯范式学习总结
度窝-笔记
09-09 1205
EBNF扩展巴科斯范式学习总结 是一种描述计算机编程语言且与上下文无关（没有前置条件）的语法的一种语法表达式。简而言之，就是描述语言语法的规范。 EBNF的基本语法形式如下： 左手边(LeftHandSide) = 右手边(RightHandSide). 左手边叫非终端符号，也就说他还可以被其他表达式引用 右手边是非终端的组成。 了解一个概念[终端符号与非终端符号]， 终端符号就是可以认为是原子符号，或者认为是常量池量的常量，他是用来描述语法的最小粒子概念， 终端可以分为用户自定义的
Plantuml之EBNF语法介绍(二十七)
最新发布
Android系统攻城狮
12-31 1211
本篇目的：Markdown之扩展Backus-Naur语法介绍。扩展的 Backus-Naur 形式 （EBNF）是一种形式化的语法，用于指定编程语言或其他形式化语言的结构。它是Backus-Naur形式（BNF）的扩展，最初由John Backus和Peter Naur开发，用于描述Algol编程语言的语法。EBNF在原来的BNF元符号的基础上增加了几个额外的元符号，这使得语言的语法规范更加简洁和易读。它常用于编程语言的规范，有时也- 用于描述其他类型的形式语言的语法，如数据库查询语言或标记语言。
扩展巴科斯范式(EBNF)简介
热门推荐
夏日白云的boke
11-21 2万+
扩展巴科斯-瑙尔范式(Extended Backus–Naur Form,EBNF)是一种用于描述计算机编程语言等正式语言的与上下文无关语法的元语法(metasyntax)符号表示法。简而言之，它是一种描述语言的语言。它是基本巴科斯范式(BNF)元语法符号表示法的一种扩展。 本文简单介绍了一下EBNF的语法。
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值