This is a companion piece to my paper on "Example-Based Procedural Modeling Using Graph Grammars." This paper examines some of the theoretical issues in more detail. This paper discusses some more complex parts of the implementation, why certain algorithmic decisions were made, proves the algorithm can solve certain classes of problems, and examines other interesting theoretical questions.

翻译：本文是《基于图语法的实例驱动过程化建模》一文的配套文档。本论文对相关理论问题进行了更深入的探讨，详细阐述了实现过程中较为复杂的部分，说明了特定算法决策的缘由，证明了该算法能够解决特定类型的问题，并考察了其他有趣的理论性问题。