We provide a tutorial introduction to the algebraic graph rewriting formalism PBPO+. We show how PBPO+ can be obtained by composing a few simple building blocks, and model the reduction rules for binary decision diagrams as an example. Along the way, we comment on how alternative design decisions lead to related formalisms in the literature, such as DPO. We close with a detailed comparison with Bauderon's double pullback approach.

翻译：我们为代数图重写形式主义 PBPO+ 提供了一个指导性介绍。 我们展示了如何通过形成几个简单的构件来获得 PBPO+, 并以二进制决定图的削减规则为样板。 顺便说一句, 我们评论了替代设计决定如何导致文献中相关的形式主义, 如 DPO 。 我们最后详细比较了 Bauderon 的双回推法 。