| Imp | импорт КА из основной страницы
|
| Load | загрузить сохраненный КА
|
| St | задать состояния S,A,...; при повторе - удаление после пустого состояния
|
| Ctrl | проверить правильность КА и сохранить
|
| Gen | построить ДКА
|
| St=0 | очистить колонку St односимвольных состояний
|
| set St | задать односимвольные состояния, для подмножеств - новые символы
|
| n->1 | заменить в таблице состояния-подмножества на односимвольные имена
|
| Exp | экспорт в JSON и копирование в буфер
|
| Новый КА: заполнить А: и таблицу переходов, далее Ctrl, обновление стр. и Load
|
| Измнить алфавит: заполнить А:, далее Ctrl, обновление стр. и Load
|
| Задать конечные состояния: Click в колонке St. Повторно - отмена
|