Метод синтеза генераторов детерминированных тестов на сетях клеточных автоматов (СКА)

Дипломная работа - Компьютеры, программирование

Другие дипломы по предмету Компьютеры, программирование

нформационное окно (рис.1).

 

Рисунок 1 - Информационное окно

 

После нажатия любой клавиши при появлении первого окна, на экран выводится окно ввода исходных данных (рис.2).

 

Рисунок 2 - Окно ввода исходных данных

 

Это окно содержит поле для ввода количества элементов клеточного автомата и количество шагов эволюции. Также в этом окне находится кнопка "ОК", при нажатии которой происходит переход к окну ввода правил функционирования КА.

 

Рисунок 3 - Окно ввода правила функционирования клетки

 

В окне ввода правила существуют следующие элементы управления и ввода данных:

. Начальное состояние клетки - поле типа список, где возможен выбор из 2-х значений - "0" или "1". По умолчанию значение "0"

. Информационное поле. Показывает для какой по счёту клетки вводится правило.

. Поле триады. Даёт возможность пользователю выбирать отрицания при переменных. "n" - отрицание, "-" отсутствует. По умолчанию значение "-".

. Кнопка "Следующая триада". Отображает ещё одну триаду для ввода отрицаний при переменных. Максимально возможное количество нажатий - 7, после чего кнопка становится неактивной.

. Кнопка "Готово". При нажатии этой кнопки происходит переход к окну вывода результатов вычисления (рис.4).

 

Рисунок 4 - окно вывода результатов вычисления