A Dynamic Computational Platform of Discrete Finite Interactive System and Scenarios

Abstract

In abstracting a real world phenomenon onto a mathematical computational domain, a proposed model should capture the main properties of the phenomenon considered. The model should be computable allowing simulation of the dynamic behavior and the qualitative as well as quantitative reasoning about the properties of the phenomenon. In the study of twodimensional shapes which is an area of great interest, two-dimensional patterns are developed and used in many research areas like pattern recognition, image processing and computer graphics (via scenarios). A computation which is interactive and has applications shows the need of a compact and steady model to handle two dimensional objects. A Kleene theorem for finite interactive systems follows directly from their equivalence with tile systems. newline