Search

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. Ref. 3, pic. 4, tabl. 1., Об’єктом дослідження є формальна мова описання поведінки клітинних автоматів. Основні завдання: 1) описати безліч можливих подій, які може пережити клітка у клітинному автоматі; 2) визначити можливі атрибути, які можуть викликати ці події (перенаселення/нестача населення призводить до смерті, сусідній осередок має стан, що впливає на наступний стан поточного осередку тощо); 3) описати мову, що описує зв'язки між станами та подіями. Було розроблено програмне середовище для клітинних автоматів та проведено дослідження існуючих правил для клітинних автоматів для того, щоб дізнатися про події, які відбуваються з коміркою, та атрибути комірки, які можуть призвести до цих подій. Таким чином було знайдено інформацію, необхідну для побудови термінального словника мови. Потім було визначено головний нетермінальний символ мови та граматичні терміни, з яких вона складається. Таким чином, було визначено граматичну структуру формальної мови та обґрунтовано будову автомату, що розпізнає граматику. Це дало можливість розпізнавати речення, написані неформальною мовою, та інтерпретувати письмову інформацію. Бібл. 3, іл. 4, табл. 1.