机构名称：
¥ 2.0
给定一个图重写系统，如果图 G 具有图重写的左模式非冲突匹配的非空最大集合，使得在并行应用重写之后，我们得到一个与 G 同构的图，则图 G 为奎因图。此类图表现出新陈代谢，它们可以繁殖，也可以消亡，当通过随机重写算法减少时。这些是使用 chemlambda、lambda 演算或交互组合器的人工化学实验页面的介绍性说明，可从入口页面 chemlambda.github.io [ 13 ] 获得。实验被捆绑成页面，所有页面都基于程序库、包含数百个图表的数据库以及大约 150 页文本注释的数据库和超过 200 个动画的集合，其中大多数可以通过程序实时重做。这些实验中有其他贡献者的公共存储库链接，其中包含这些程序的 python、haskell、awk 或 javascript 版本。
使用 chemlambda、lambda 进行人工化学实验...
主要关键词
相关文件推荐
