大家好，欢迎来到IT知识分享网。
写在前面
- K是个语义框架，所以它是用来创建一个语言体系的；
- K本身就是一个语言体系，基于该语言体系，我们将：
- 创建编程语言
- 构建类型系统
- 编写形式化分析工具
- K语言能够实现以上功能是基于配置和规则：
- 配置会基于cells来组织状态；
- 规则则用来限定词汇的可读、可写、可读可写，或无用等属性。
- 计算机语言其实就是基于语言抽象语法，按某种句法构成的一件件计算任务，它也是现实事务的一种解释方式；这点与K语言是完全吻合的；也使得K语言特别适合计算机程序这种控制密集型语言，用另一种语言逻辑来验证：
- 可能会突然终止；
- 可能发生异常
- 可能调用等
安装K框架包
工欲善其事，必先利其器。让我们先来把工具安装和环境搭建好。
基于ubuntu辅助工具的安装
先确认以下的包是否已经安装好：
- wget：该工具用来获取远程的安装包。
- git：该工具用来访问远程的git仓库。
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-VX8qV6Ie-03)(C:\Users\Admin\AppData\Roaming\Typora\typora-user-images\25.png)]
- curl：该工具用来访问远程的服务器资源。<
免责声明：本站所有文章内容,图片，视频等均是来源于用户投稿和互联网及文摘转载整编而成，不代表本站观点，不承担相关法律责任。其著作权各归其原作者或其出版社所有。如发现本站有涉嫌抄袭侵权/违法违规的内容,侵犯到您的权益，请在线联系站长,一经查实,本站将立刻删除。 本文来自网络,若有侵权，请联系删除，如若转载，请注明出处：https://haidsoft.com/127864.html
