一种全新的时态逻辑框架的研究

将目前流行的研究二维picture语言的(2×2)tiling系统改造成等价的(1×1)stencil系统，进而可引入Grid自动机概念（取代目前的一种细胞自动机式的操作语义），及相应的生成文法—Grid文法，弥补了Giammarresi-Reotivo的等价性定理中的一个缺环；提出了一个新的可识别的picture语言的等价性定理。Grid自动机及Grid文法中的采用的机动的并发控制机制，可以pictures被视为一种特殊的（有限）二元树，且grid自动机也更相似于binary的tree自动机，且可进一步拓广到三维或更高维的场合。