Some Grid Automata for Grid Computing

We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique to check this model whether or not satisfy this property. From above process, some grid pattern recognition problem could be transferred to Model checking problem. According to logic method, we get some grid pattern recognition problem couldn’t be solved in decidable manner.

• Type: Conference
• Year: 2003
• Where: GCC
• Authors: Hao Shen, Yongqiang Sun
• Keywords: GCC 2003, Grid Pattern Recognition, Model Checking, Pattern Recognition Problem