Especially two new classes of graph rewrite systems are used: edge addition rewrite systems (EARS) and stratified graph rewrite systems (stratified GRS).

  • 特别是两个新图形再写类系统的使用:EARS和分层的GRS。
目录 查词历史