第二十章 布尔运算

警察，领主自由裁量权太大……他们最多只能意识到，我可能是个侠客。”

向山很快就在尤基的芯片里面写入了防火墙，使它拒绝那个特定端口的远程访问，并发送伪造的图像。然后他抹去了另外几个协议。

当然，在做这些事之前，他先做好了备份。

向山将芯片还给尤基，道：“自己试一试，有什么不对的地方跟我说。如果没问题的话，等会再帮我一个忙。”

向山自己现在驱使义体，是靠镇长赠送的那一枚廉价芯片。而那一枚驱动芯片里，同样有可能存在后门。向山的人工颅骨不像尤基这样可以自由开合。如果没有特殊的工具，他就必须得靠别人帮忙，才能将插进去的芯片取出来。

这就相当于将自己的大脑暴露给其他人。向山必须有一个可以信任的助手，才敢做这种事。

另外，他也必须杜绝“进行到一半的时候，助手被人远程脑控，手指一个哆嗦戳进自己脑子”的状况。因此他才优先给尤基准备了“灌顶”。

尤基一面将自己的数学作业传输给向山检查，一面按照向山的吩咐，跑跑跳跳，测试一下驱动芯片是否有BUG。

人类在很早的时候就学会了“不要追求没有BUG的编程”这件事，只要程序能跑起来，存在BUG也无所谓。

高级语言按照“类型论”的分法，大致可以分为“类型不安全语言”“类型安全语言”与“强规范化语言”。强规范化语言倒是可以保证“不会出错”，这类语言对于任何程序都能给出唯一结果并且停机，绝对不会陷入死循环。但也正因为强规范化语言舍弃了“循环”的概念，失去了图灵完备，所以任何错误系统根本不予识别不准运行。

简单来说，强规范化语言

本章未完，请点击下一页继续阅读！ 第6页 / 共7页