Decision problems for node label controlled graph grammars
作者:
Highlights:
•
摘要
Two basic techniques are presented to show the decidability status of a number of problems concerning node label controlled graph grammars. Most of the problems are of graph-theoretic nature and concern topics like planarity, connectedness and bounded degreeness of graph languages.
论文关键词:
论文评审过程:Received 25 October 1979, Available online 2 December 2003.
论文官网地址:https://doi.org/10.1016/0022-0000(81)90025-8