Simulation tools: formal language for cellular automatons behavior description

Object is a formal language for cellular automatons behavior description. The main tasks are 1) to describe variety of possible events that cell can experience in cellular automaton; 2) to define possible attributes that can cause these events (over/under population leads to death, neighboring cell has state that affects next state of current cell, etc.); 3) to describe language that describes connections between states and events. Program environment for cell automaton and conduct research on existing rules for cellular automatons are created in order to learn about events that can occur with cell and attributes of cell that can lead to these events. In this way information that is required to build terminal vocabulary of language can be found. Then main non-terminal symbol of the language must be discovered and grammar terms it consists of. Thus, grammar structure of formal language will be defined and it becomes possible to build grammar-recognizing automaton. It will provide possibility of recognizing sentences written in our informal language and interpretation of written information will become possible.