写在前面
- K是个语义框架，所以它是用来创建一个语言体系的；
- K本身就是一个语言体系，基于该语言体系，我们将：
- 创建编程语言
- 构建类型系统
- 编写形式化分析工具
- K语言能够实现以上功能是基于配置和规则：
- 配置会基于cells来组织状态；
- 规则则用来限定词汇的可读、可写、可读可写，或无用等属性。
- 计算机语言其实就是基于语言抽象语法，按某种句法构成的一件件计算任务，它也是现实事务的一种解释方式；这点与K语言是完全吻合的；也使得K语言特别适合计算机程序这种控制密集型语言，用另一种语言逻辑来验证：
- 可能会突然终止；
- 可能发生异常
- 可能调用等
安装K框架包
工欲善其事，必先利其器。让我们先来把工具安装和环境搭建好。
基于ubuntu辅助工具的安装
选定Ubuntu为K框架的执行的环境。我们所用的Ubuntu是安装在Windows 10的VM Workstation虚拟机上。下面是该Ubuntu的版本：
因此后面选择K框架的包，也选择与该版本相吻合的。
先确认以下的包是否已经安装好：
- wget：该工具用来获取远程的安装包。
- git：该工具用来访问远程的git仓库。
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-VX8qV6Ie-03)(C:\Users\Admin\AppData\Roaming\Typora\typora-user-images\25.png)]
- curl&#x
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/62164.html