C-的EBNF格式（消除左递归，提取左因子）

最新推荐文章于 2022-11-01 17:27:23 发布

原创

最新推荐文章于 2022-11-01 17:27:23 发布 · 1k 阅读

1 ·

CC 4.0 BY-SA版权

本文详细介绍了C语言的扩展巴科斯范式（EBNF）表示，包括程序结构、声明、函数定义、变量声明、类型指定、表达式和控制结构等，旨在清晰阐述C语言的基本语法要素。

1.program -> declaration_list
2. declaration-list->declaration { daclaration }
3. declaration -> var_declaration | fun_declaration
4. var_declaration -> type_specifier ID [ [NUM] ]
5. type_specifier -> INT | VOID
6. fun_declaration -> type_specifier ID ( params ) compound_stmt
7. params -> param_list | VOID
8. param_list ->param {,param}
9. param -> type_specifier ID [ [ ] ]
10. compound_stmt -> { local_declarations statement_list }
11. local_declarations -> empty { var_declaration }
12.statement_list -> empty {statement}
13. statement -> expression_stmt | compound_stmt | selection_stmt | iteration_stmt | return_stmt
14. expression_stmt -> [expression] ;
15. selection_stmt -> IF ( expression ) statement [ ELSE statement ]
16. iteration_stmt -> WHILE ( expression ) statement
17. return_stmt -> [ RETURN ] expression
18. expression -> var = expression | simple_expre