论文标题
Chemlambda,Lambda微积分,相互作用组合剂的人工化学实验
Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators
论文作者
论文摘要
给定图形重写系统,图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.