Loading article…
コンピュータサイエンスにおいて、シングルプッシュアウトグラフ書き換えまたは SPO グラフ書き換えは、グラフ書き換えの数学的フレームワークを指し、グラフ書き換えのダブルプッシュアウトアプローチと対比して使用されます。
参考文献
さらに読む
- Ehrig, H.; R. Heckel; M. Korff; M. Löwe; L. Ribeiro; A. Wagner; A. Corradini (1997)。「第 4 章 グラフ変換への代数的アプローチ。パート II: シングル プッシュアウト アプローチとダブル プッシュアウト アプローチとの比較」。Grzegorz Rozenberg (編)。グラフ変換によるグラフ文法とコンピューティングのハンドブック。World Scientific。pp. 247–312。CiteSeerX 10.1.1.72.1644。ISBN 978-981-238-472-0。
