基于 chemlambda、lambda 演算与相互作用组合子的人工化学实验
人工智能
2020-04-01 v1 信息论
math.IT
逻辑
摘要
给定一个图重写系统，图 G 若具有一个非空的、图重写左模式的最大非冲突匹配集合，使得并行应用这些重写后得到的图与 G 同构，则称 G 为 quine 图。此类图表现出新陈代谢，在随机重写算法归约时它们可以增殖或消亡。本文是人工化学实验页面（使用 chemlambda、lambda 演算或相互作用组合子）的导引性笔记，可从入口页 https://chemlambda.github.io/index.html 访问。实验被打包为若干页面，全部基于一个程序库、一个包含数百个图的数据库、一个约 150 页文本注释的数据库以及超过 200 个动画的集合，其中大多数动画可通过程序实时重做。文中还链接了其他贡献者对这些实验的公共代码仓库，包含 python、haskell、awk 或 javascript 版本的这些程序。
引用
@article{arxiv.2003.14332,
title = {Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators},
author = {Marius Buliga},
journal= {arXiv preprint arXiv:2003.14332},
year = {2020}
}