将目前流行的研究二维picture语言的(2×2)tiling系统改造成等价的(1×1)stencil系统,进而可引入Grid自动机概念(取代目前的一种细胞自动机式的操作语义),及相应的生成文法—Grid文法,弥补了Giammarresi-Reotivo的等价性定理中的一个缺环;提出了一个新的可识别的picture语言的等价性定理。Grid自动机及Grid文法中的采用的机动的并发控制机制,可以pictures被视为一种特殊的(有限)二元树,且grid自动机也更相似于binary的tree自动机,且可进一步拓广到三维或更高维的场合。
{{i.achievement_title}}
数据更新时间:2023-05-31
Ordinal space projection learning via neighbor classes representation
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
Image super-resolution based on sparse coding with multi-class dictionaries
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Numerical investigation on aerodynamic performance of a bionics flapping wing
磁场硅单晶中缺陷与杂质的研究
氢对微氮硅单晶中氮关缺陷和过渡金属的作用
碳化硅单晶生长中源材料特性控制及对晶体生长速率、缺陷形成的影响
区熔硅单晶中“热生旋涡缺陷“形成机理的研究