〔№011〕以有涯随无涯

有涯状态自动机与正则文法

缘起

前一篇提到了以老迈年高的「微机」当年因陋就简大干快上的光辉历程类比当代「嵌入式」后发优势弯道超车之企图的「思辨」可能性话题。然后在交流中获知,除了政治和意识形态斗争决定了豪门贵种走兽派一力降十会钦定了ARM架构之外,据称硬件「最优解」已经被「先富起来」的那批人形成「专利覆盖」了。

于是「待富者」无论如何发挥「主观能动性」都不能违背啥放诸四海而皆准的颠扑不破的唯物主义客观规律,总而言之「兲命气数」代言人在新时代中国特色社会主义大好形势下繁荣的中文互联网上每一个角落当中,都谆谆教导韭菜们:「人生也有涯,有錢是真的能為所欲為的.gif也无涯,直到世界末日弥赛亚降临你们都富不起来,认命吧」。

然后我表示,看来只能等着专利「过期」了,也就是说,后发优势弯道超车の野望,表现为「豪赌」先富起来的那批人「创新」操作的「边际效应」之明显程度。再然后则不惮以最大的恶意揣测,按照惯例,先富起来的那批人会采用「添油战术」,硬件厂商不停追加新指令以「续命」旧专利,软件厂商关系户则「面向专利编程」故意使用新指令,以形成「有錢是真的能為所欲為的.gif攻守同盟」全面战略协作伙伴关系。

还有个额外的信息,那就是先富起来的那批人当中也有分工合作。比方说人缘好情商高的微软推出与时俱进版「.Net Core」配合ARM,而识大体顾大局懂政治讲规矩守纪律的「讼棍充沛Oracle™」却一反常态,与时俱进版「JDK 11」不能直连ARM了与「物联网」之类下一个增长点钦定无缘了,据称「Java™社区抓狂中」。

到这里交流告一段落。想必到这里读者们也能深刻领会到「形而上者谓之道」的原理了吧?谁还盯着「形而下者谓之器」把希望寄托在被「善良的先富」带动之上企图通过「劳力」实现与豪门贵种走兽派平起平坐「共同富裕」,那就是业内通称的「奋斗哔」,还是「数学只学到初一的傻哔」,看着一群混蛋全票表决通过与时俱进「相关法律法规和政策」昭告天下x²+1=0,还企图抛头颅洒热血前仆后继就为了找到「实根」而不懈奋斗那种。

都说过了你会青史留名

有涯

还是先说技术话题。虽然咱对硬件一窍不通,但是常识总有。据称「芯片」就是一堆晶体管组成啥电路门再拼起来,当然由于晶体管数量极大充沛,人工设计所需时间可「视同无涯」,于是业内都运用啥「自动化设计软件」处理。

那么,被豪门贵种走兽派把持的硬件「专利」究竟在哪里?肯定不是「与或非门」这个层次,想必也不是「四则运算」这种层次的指令,甚至应该不是某一条具体的单独的指令(之实现方式)。

从数学渣的角度判断,既然是在「有涯」个晶体管之间存在「有涯」个连接,那么所有方案的总数也是「有涯」的嘛。即便「有錢是真的能為所欲為的.gif」神通广大,撑死了也不过「可数无涯」层次嘛。

但是一定要牢记,不能让豪门贵种走兽派把我中华兲朝上国那发达的文学传统和孱弱的数学传统发挥到极致动辄上纲上线到「无涯」。因为我已经解释过自己的神学观点「垃圾堆里寻宝」认识论,在「无涯の合取数」当中已经包含了所有可能性。

只要「政治献金」扶持的讼棍惦记着游说主席台前三排以纳粹德国空军司令戈林元帅为榜样叫嚣「衍生的专利都算我的,我的是我的,你的还是我的」,那么这个「专利墙」是无论如何绕不过去的。

在那自由民主进步和谐的美帝灯塔国曾经有个判例,当时某个「出版界」钦定主角龙傲天,直接「抄袭」了另外一家出版社的地图册,所有数据照搬不误。最终判决结果,是认定「放诸四海而皆准的颠扑不破的唯物主义客观规律」比如俩城市之间的距离什么的,没有「著作权」也没有「专利」从而属于「公众领域」。

然后开放的兲朝与国际接轨,夯头文件哗哗出台,「大力」引进美帝灯塔国先进经验并本土化,从此长城内外大江南北白山黑水之间如同雨后春笋般涌现出「洗稿」工作室,为了繁荣新时代中国特色社会主义大好形势下与时俱进的红色文艺事业作出了卓越的贡献,并且档次比「在兲朝打官司从没输过」擅长「复制并成功」的普通家庭还要高尚。

也就是说,数学渣职业习惯内化于心外化于行,「把问题化简到已经解决的情形上去了也」:包括但不限于啥「并发流水线」「超线程」之类伎俩,只要在「一定规模」之内,兲朝特色「知识产权保护」政治规矩和组织纪律,就能保证赛博朋克「洗稿」工作室如同雨后春笋般在「小Mega步枪」射程范围内遍地开花。

那么这「一定规模」是如何界定的呢?

数学渣在乳臭未干的时候听说过一个名词「有涯状态自动机Finite-State AutoMachine)」,后来老迈年高了记性不好了,把这本来已经听说过的名词还当成「新鲜」的时髦玩意到处炫耀,让充沛的童年才俊们都笑掉了大牙。按照九省通衢の活跃色目帐号爆料和知乎首页今日头条位置醒目应景推荐,据说童年才俊们大牙笑掉还不止一遍:你是想笑死我然后捡走我的假牙么?

为了扩大内需提振消费市场倒逼制造业转型升级,还得让童年才俊们的大牙多笑掉几次,促成医疗保险基金向实体经济进行财政支付转移,遏制金融领域脱实就虚倾向,淡化以外汇计算之国民生产总值增长趋势放缓迹象。

接下来稍微啰嗦几句数学渣乳臭未干的时候听说这新鲜名词的弱小无助可怜之经历。

曾经在知乎首页推荐当中刷屏的关乎信息技术的内容当中,业内普遍达成互相矛盾的鄙视链共识,一方面强调「宁可写十个后台服务也不想写一个带着用户界面的前端应用」,另一方面则嘲笑专攻用户界面的前端码农是「按钮工程师」只会拖拉控件并双击之然后写那么九行左右通用代码。

原因差不多众所周知,用户界面尤其是图形用户界面,一向状态复杂事件繁多操作充沛,加上用户素质参差不齐,各种二十年目睹之怪现状此起彼伏实在是防不胜防。就连单元测试都没法写,不容易实现以高尚尊贵的硅基帐号取代低劣卑贱的碳基码畜之钦定大目标。所以业内爆料陆奇为了在微软以「人工智障」噱头上位,特意开除了Windows测试团队以示破釜沉舟做自信充沛状,最终硅算不如兲算并且兲码硅码都不如兲竺碳码,只能黯然退场。

很不幸,当时弱小的数学渣之岗位职责,还就是「图形用户界面」,还只能使用老迈年高的「Microsoft™ Visual C++ 6.0」那虽然设计不如「没有自知之明」的龙套反派丑角Borland™出品的「OWL」但就是武德充沛兲命昭昭的「MFC」,勉强有个残缺不全惨不忍睹的「MVC」架构可用就欢天喜地。

所以,面对充沛的八阿哥多方围堵两面夹攻险些死路一条的无助数学渣,焦头烂额之际忽然遭了天谴于恍惚之间觉悟了还没断奶的时候似曾耳闻的这新鲜名词,于是临时抱佛脚现上轿现扎耳朵眼恶补一番。当然,最后还是没赶上趟,只能简单粗暴的发挥一不怕苦二不怕死之大无畏革命精神因陋就简大干快上顺便锻炼手速。

而到了痛定思痛之后,开始结合逗哔作品构思,企图在微软已经钦定了「x²+1=0」的情况下逆潮流而动自绝于人民螳臂挡车不自量力甚至无惧历史の五对负重轮,妄想找到「实根」以在啥「务虚」革命路线已经被实践检验为真理标准并且已经由兲朝人民和历史代表我选择了之后仍然斗胆进行「重构」。在当时那种简陋的互联网条件下,通过搜集到的可怜资料,对该名词有了更进一步的认识。

简单说,图形用户界面这种「交互式」情况,通常采用「事件驱动」方式。因为碳基用户哪怕十指俱全训练有素仍然并没有什么卵用,其手速无论如何都难以抵挡硅基帐号的自动化处理,所以通常硅基帐号表示不屑一顾嗤之以鼻,心不在焉旁若无人的随便伸出一根线程就足以应付来自「弱小恶臭连个屁都留不下」的鼠标键盘之「幻想症」挑衅。不过据称色目人用大拇指搓触摸屏倒是可以让硅基帐号在战略战术上都重视起来,奇哉。

与此同时,「面向对象」范式也可以视为自动机模型的一种应用。每个对象都有内部「状态」,互相之间通过「消息」串联,这些「消息」随时可能被「上级」领导越权处理。而除了「上级」领导日理万机之外,还有24×7连轴转简直操碎了心的「看不见的顶层」动辄截获「消息」,可根据情况屏蔽转移或篡改,通常还会在日志中留下「我司没有信件检查制度」之记录。

长话短说,所以弱小无助可怜的乳臭未干数学渣,就这么知道了「内置事件驱动」的Tcl语言,以及重新捡起乔姆斯基形式文法理论联系实际。而「有涯状态自动机」这名词,对应「正则文法」,就是当代与时俱进信息技术童年才俊在各条战线上漫不经心闭着眼都不会写错的「正则表达式」所用的那一种。

至于前几篇随笔当中提到的,曾用过「flex/bison」并企图深入领会《编译原理》系列重要著作精神;以及《〈设定集〉注释〔卌八〕》等处提到过,对语言学的立场最初是乔姆斯基后来转到索绪尔再后来到了「符号学」;还有其它一些相关内容一时想不起来,就不再展开了。

这里只是表明,我这老迈年高的精神病仆街写手不入流码农数学渣,即便「吹牛哔」也仍然「无一字无来历」,与当代童年才俊的风格大不相同,提醒各位读者注意。

最后回到主题,一个「正则表达式」字符串有专利么?正好可以对照上面提到的美帝特色依法治国实践积攒的各种判例,信息技术和传统出版行业两方面都要考虑到。所以说「一定规模」这四个字作为对「硬件专利」分而治之的单位,在从「在商言商」到「依法治国」直到「政治挂帅」「意识形态挂帅」的各个层次,都有着充沛的扯皮用劫材。

无涯

前面扯淡那么多,应该回到咬文嚼字的本意了,在日常语境当中这「无涯」形容的是求知过程。所以简单扯几句,权当「后记」。

以前说过了,上世纪末我在学校里听的《微机原理》课程,用的还是「Intel™ 8088/8086」架构讲解相应的汇编,所以询问二十年来与时俱进了这么远,课本改了没有?如果改了,改成啥了?是不是会全国一盘棋集中力量办大事为了不错过下一个增长点运用后发优势企图弯道超车,统一换成ARM架构再讲?

不提师资力量之类客观条件,只从唯心主义角度思辨,应该讲什么?参考美帝灯塔国情况,前面提到了Minix就是个为教学而开发的操作系统,篇幅刚好适合课时。并且在Microsoft™ Windows常年占据九成以上市场份额的情况下,也没有因为「面向就业教育」「面向大手会社培训」「面向简历编程」之时代特色而与时俱进为更适合劳动力市场的其它内容。

如果觉得仓廪实而知礼节衣食足而知荣辱,传道授业解惑也得率先满足为了建设新时代中国特色社会主义现代化强国培养劳力者的优先目标,那么正好美帝灯塔国还有其它内容的类似课程可供借鉴。

比方说《计算机组成原理及汇编语言原理》(«Principles of Computer Organization and Assembly Language: Using the Java Virtual Machine»)这本,顾名思义通过JVM讲解原理然后把原理延拓到其它四种真实架构之上。哪怕按照知乎首页推荐当中极大充沛的Java™内容,也能煽动学生把就业压力变为学习动力了吧?

或问了,既然「面向Oracle™培训」了,那么《操作系统》怎么配合吖?非得讲Minix不成?这就得看吞并了Sun™Oracle™是不是识大体顾大局懂政治讲规矩守纪律了,最起码也得人缘好情商高才行。

上世纪末「日」企在恍惚之间曾经有了兲命昭昭的幻觉,企图在Java™上实现一切,除了知名度稍高的HotJava™浏览器之外,1996年还出来个JavaOS™,纯Java™的「原生」「微内核」操作系统,当然性能那就呵呵呵了。

所以,Oracle™若是看到兲朝教育口这么识相,是不是扔根骨头让这帮「舔狗」乐呵乐呵呢?比方说把二十多年前的老古董JavaOS™开源。

当然,按照前一篇随笔当中提到的叠床架屋脑洞,JVM做成芯片(市面上早就有了)用硬件实现充沛的「进程池」,JRE之核心烧进「固件」,那么这JavaOS™也不是不能实用,甚至可用于生产环境,以保护被钦定ARM甩掉的「Java™社区」积累的充沛赛博朋克资产。

2018-10-26