原创力文档程序语言语法的Coq定义
1一个极简的指令式程序语言：SimpleWhile
下面是SimpleWhile语言中程序表达式的语法。
EI::=N|V|EI+EI|EI-EI|EI*EI
EB::=TRUE|FALSE|EIEI|EBEB|!EB
SimpleWhile语言的程序语句包括空语句、变量赋值语句、顺序执行、if语句与while语句。
您可能关注的文档
- GoPro US Minimum Advertised Price Policy说明书用户手册.pdf
- A GUIDE TO USING THESE IDEAS说明书用户手册.pdf
- ARRY 阿瑞 AT32F421 datasheet说明书用户手册.pdf
- SATA Sata 举升机 AE5104EV AE5104EV-3 用户手册.pdf
- EURAXESS Licence说明书用户手册.pdf
- Aerosol Duct-Sealing Technologies Manual说明书用户手册.pdf
- Benzovet Makina Karbon ve Sızdırmazlık Sanayi Ltd. Şti. Non asbestos jointing materials Benzovet S Benzovet antiacido Superkev Carbo-Fiber说明书用户手册.pdf
- Makita 牧田 电剪刀 JS3201 使用说明书.pdf
- 2025年行业分析LED照明市场未来发展趋势分析.pdf
- mlbio 海联生物 固红 RC 盐 说明书.pdf
- 绵阳市平武县2025届数学四年级第二学期期末联考试题含解析.docx
- 绵阳市三台县2025届三年级数学第二学期期末模拟试题（含答案）.docx
- 绵阳市三台县2025届四年级数学下学期期中模拟试题含解析.docx
- 绵阳市三台县2025届四年级数学下学期期末模拟试题（含答案解析）.docx
- 绵阳市三台县2025届四年级数学下学期期末模拟试题（含答案）.docx
- 绵阳市三台县2025届四年级数学第二学期期中模拟试题含答案.docx
- 绵阳市三台县2025届四年级数学第一学期阶段模拟试题（含答案）.docx
- 绵阳市三台县2025届四年级数学第二学期期中模拟试题含解析.docx
- 绵阳市三台县2025届四年级数学第二学期期中模拟试题（含答案解析）.docx
- 绵阳市三台县2025届四年级数学第一学期期中模拟试题含答案解析.docx
文档评论（0）