论文标题

Chemlambda,Lambda微积分,相互作用组合剂的人工化学实验

Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators

论文作者

Buliga, Marius

论文摘要

给定图形重写系统,图G是一个Quine图,如果它具有非冲突的非冲突集合,则图形的左模式的匹配是重写的,因此在重写的并行应用后,我们获得了与G的图形同构。这样的图形可以表现出一个代谢性,它们可以随机倍增,在将随机变化时,它们可以乘坐alg ang reprith reprith reprith reprith repriTh reprity repriTh repriTh repry repry repry repry repry reprity repriTh。 这些是chemlambda,lambda微积分或相互作用组合器的人工化学实验页面的介绍性注释,可从“入口页面” https://chemlambda.github.io/index.html获得。这些实验被捆绑到页面上,所有这些都基于程序库,在包含数百个图表的数据库和大约150页的文本注释和200多个动画集的数据库上,其中大多数可以通过程序重新完成。在Python,Haskell,Awk或JavaScript中,有这些程序的其他贡献者的公共存储库有链接。

Given a graph rewrite system, a graph G is a quine graph if it has a non-void maximal collection of non-conflicting matches of left patterns of graphs rewrites, such that after the parallel application of the rewrites we obtain a graph isomorphic with G. Such graphs exhibit a metabolism, they can multiply or they can die, when reduced by a random rewriting algorithm. These are introductory notes to the pages of artificial chemistry experiments with chemlambda, lambda calculus or interaction combinators, available from the entry page https://chemlambda.github.io/index.html . The experiments are bundled into pages, all of them based on a library of programs, on a database which contains hundreds of graphs and on a database of about 150 pages of text comments and a collection of more than 200 animations, most of them which can be re-done live, via the programs. There are links to public repositories of other contributors to these experiments, with versions of these programs in python, haskell, awk or javascript.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源