实 验 一利用真值表法求取主析取范式以及主合取范式的实现
实验名称：利用真值表法求取主析取范式以及主合取范式的实现
实验目的：通过编程实现主析取范式以及主合取范式的真值表求法以巩固相关理论的掌握
实验类型：验证
实验学时：4
实验环境：Windows+VC
从屏幕输入含三个以内变量的合式公式（其中联结词按照从高到底的顺序出现）
可用字符数组a记录输入的合式公式
如：输入PQPQ
！表示；&表示；|表示；>表示；-表示
规范列出所输合式公式的真值表
多重循环显示真值表（1表示T，0表示F，先1后0）
P Q A
1 1 ？
将赋值代入公式（可用数组b记录与a中变量对应的赋值）
b[0/2/4/6]=-1, b[1/5]=P值, b[3/7]=Q值
从左往右计算（用switch a[i] case对运算符进行处理）
：b[i+1]=! b[i+1]
：b[i+1]=b[i-1] && b[i+1]
…
2020-01-03 11:32:57
251KB
1
巴科斯范式(BNF)查看器，可查看BNF范式生成的First集，Follow集，Select集和预测分析表，是学习编译原理的好工具。
附带标准c的bnf范式文件。
2019-12-21 22:06:05
82KB
1
资源名称：斯坦福大学公开课：编程范式视频课程（27集含笔记）资源目录：【】斯坦福大学公开课编程范式笔记【】编程范式1【】编程范式10【】编程范式11【】编程范式12【】编程范式13【】编程范式14【】编程范式15【】编程范式16【】编程范式17【】编程范式18【】编程范式19【I
资源太大，传百度网盘了，链接在附件中，有需要的同学自取。
2019-12-21 21:40:09
125B
1
运行使用jupyter，pycharm均可，基于python3， 算法是由计算导论课本上的证明步骤得来的，欢迎参考留言
2019-12-21 21:07:01
7KB
1