Тема №1 - Визуальный редактор конечных автоматов
Основные требования:
- [R001] Загрузка модели конечного автомата из файла.
- [R002] Сохранение модели конечного автомата в файл.
- [R003] Редактирование модели конечного автомата в визуальном режиме.
- [R004] Редактор должен позволять добавлять состояния (изображаются кружочками, размеры которых можно изменять; в кружочке имя состояния) и переходы (изображаются дугами, над каждой дугой показывается имя перехода).
- [R005] Все названия должно быть можно изменять через свойства.
- [R006] Дуги можно двигать и добавлять точки перегиба.
- [R007] У дуг показывается направление перехода.
- [R008] Редактор должен позволять включать и отключать сетку.
- [R009] Редактор должен позволять привязывать размеры элементов к сетке.
Пример поля редактирования: