Ebook: Использование автоматного программирования для реализации визуализаторов

Один из авторов данной работы давно занимается автоматным программированием, а другой - технологиями дистанционного обучения программированию в рамках проекта ''Интернет-школа программирования'' на кафедре ''Компьютерные технологии'' Санкт-Петербургского государственного университета информационных технологий, механики и оптики. При этом важным направлением при таком обучении программированию является технология разработки визуализаторов. Предлагается новая технология построения визуализаторов алгоритмов на основе формального преобразования программы, реализующей алгоритм, в конечный автомат Мили. В статье приведено подробное описание каждого этапа предлагаемой технологии. Технология иллюстрируется примером построения визуализатора для достаточно сложного алгоритма, решаемого методом динамического программирования, как ''дискретная целочисленная задача о рюкзаке''.