Засоби моделювання: формальна мова описання поведінки клітинних автоматів

Анотація

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

Бібл. 3, іл. 4, табл. 1.