Мінімізація скінченних автоматів: дослідження методів та програмна реалізація системи практичного навчання дистанційного навчального курсу «Дискретна математика»

Abstract

Мета роботи – побудова алгоритму та програмна реалізація системи практичного навчання на основі аналізу методів мінімізації скінчених автоматів для дистанційного курсу «Дискретна математика». Методи дослідження – методи мінімізації скінчених автоматів, зокрема, пошук скороченого СА та знаходження мінімальної форми СА. Для програмної реалізації було обрано мову програмування Java з використанням JPanel у бібліотеці Java Swing. Об'єкт розробки – дослідження методів та програмна реалізація системи практичного навчання дистанційного навчального курсу "Дискретна математика". Предмет розробки – система практичного навчання дистанційного навчального курсу "Дискретна математика", яка досліджує методи мінімізації скінченних автоматів, та її програмна реалізація. Основні завдання розробки – - огляд необхідного теоретичного матеріалу та наявного подібного програмного продукту; - вивчення методичних рекомендацій щодо написання магістерської кваліфікаційної роботи; - проектування інтерфейсу програми та контенту, який планується розмістити у тренажері; - обрано засоби програмування для реалізації; - реалізація основних функцій тренажеру шляхом побудови алгоритму його роботи та створення його програмної реалізації; - проведення тестування програми для виявлення та виправлення помилок та недоліків; - впровадження створеної програми в навчальний процес з теми «Мінімізація скінчених автоматів» дистанційного навчального курсу «Дискретна математика».