20191228-SysY语言定义1

简介：
对SysY语言的定义进行了全面、详细的阐述。SysY语言属于C语言的一个子集，专门针对特定的编程竞赛而开发。其核心特征是简洁性以及对其它特性进行简化应用。SysY程序的源代码存储在一个以`.sy`为扩展名的单独文件内，并遵循特定的语言规范。 **程序结构** 每个SysY程序都以`main`函数作为入口，并且只能包含一个这样的主函数。 除了在`main`函数内部进行的声明外，系统允许将全局变量和其他类型的函数声明放置在其外部区域，并且这些结构可以在整个文件范围内进行扩展。 除了必须存在的主函数外，一个SysY程序还可以定义任意数量的全局变量以及多个辅助函数。2. **数据类型与常量** - 支持使用`int`类型的变量。 - 以及包含由多个维度组成的整数数组。 - 通过`const`关键字进行常量声明。 - 这些类型的常量包括整数和数组形式的变量。 - 所有常量必须在定义时进行赋值。 3. **函数** - 函数支持int类型参数及其数组形式的调用。 - 其返回结果可指定为int类型，或者无返回值设定。 - 参数传递采用以下规则：int变量通过值方式传入，而数组则提供起始地址，并限定一维的大小。 在一行内可以进行多个变量声明，并能实现初始化功能。全局变量需用于函数外部区域的声明，局部变量则应在函数内部区域完成声明。所有变量均应按照先声明后使用的原则进行定义。赋值语句、表达式语句、语句块、if语句、while语句以及break、continue等关键字构成了SysY的核心语法结构。其中，语句块不仅包含基本的控制流指令，还能够嵌入变量声明机制，并且在执行过程中能够动态地结合任意其他语句以实现更为复杂的逻辑流程。这些基础元素共同构成了SysY的基本语句架构模式，其中条件判断和循环操作分别承担着不同的功能角色：前者用于实现分支逻辑处理，后者则负责表达无限迭代行为。该系统提供基本的算术运算、关系运算和逻辑运算功能，并遵循C语言中关于运算符优先级和结合性的规定。在该系统中，任何非零数值都被视为逻辑上的真值，而零则表示逻辑上的假。SysY采用扩展的Backus–Naur范式（EBNF）表示文法规则，这种表达方式便于准确解析和深入理解。文法规则从编译单元（CompUnit）出发，通过一系列构造规则对关键元素进行定义，包括标识符、类型定义以及函数调用机制等核心内容。 SysY语言在简化了C语言的一些复杂特性的同时，仍具备足够功能支持基本程序设计。该语言因其清晰的结构和简单的语法而被广泛认为是学习编程和理解底层语言的理想工具。为了确保所写程序的准确性，在解析和实现SysY语言程序时，必须严格按照其语法规范进行。