penrose-tilings

本文描述了一种使用罗宾逊三角形上的细分规则生成P3彭罗斯平铺的算法，并将该过程表达为计算机执行的项重写系统。