Конструктор вычислителей

Проект "Конструктор вычислителей" посвящён созданию приложения для симуляции различных абстрактных вычислителей и нацелен на повышение за счёт наглядных демонстраций эффективности изучения и преподавания теории автоматов и формальных языков и смежных дисциплин. Задачи, выносящиеся на учебную практику:

  • реализация для существующей модели вычислителя двух новых представлений: в виде таблицы переходов (такое представление часто встречается в учебниках) и в виде матрицы смежности (данное представление используется алгоритмами, основанными на линейной алгебре);
  • автоматизация тестирования вычислителей: создание тестовой панели, позволяющей пользователю создавать набор тестов, сохранять его в специальный файл и запускать на нём текущий вычислитель;
  • создание стандартной библиотеки вычислителей, состоящей из содержательных примеров, показывающих, какие задачи могут решать поддерживаемые виды вычислителей. 

Стек технологий: Kotlin, JavaFX (используется TornadoFX), Gradle, JUnit 5. 

Репозиторий проекта -- https://github.com/spbu-se/KotlinAutomataConstructor

Консультантом будет Муравьев Илья Владимирович, студент 3-го курса программной инженерии.

Уровень

2 курс


Руководитель

Литвинов Юрий Викторович


Консультант

Литвинов Юрий Викторович


Источник

Кафедра системного программирования СПбГУ