Использование автоматного программирования для реализации визуализаторов
Book information
Description
Один из авторов данной работы давно занимается автоматным программированием, а другой - технологиями дистанционного обучения программированию в рамках проекта ''Интернет-школа программирования'' на кафедре ''Компьютерные технологии'' Санкт-Петербургского государственного университета информационных технологий, механики и оптики. При этом важным направлением при таком обучении программированию является технология разработки визуализаторов. Предлагается новая технология построения визуализаторов алгоритмов на основе формального преобразования программы, реализующей алгоритм, в конечный автомат Мили. В статье приведено подробное описание каждого этапа предлагаемой технологии. Технология иллюстрируется примером построения визуализатора для достаточно сложного алгоритма, решаемого методом динамического программирования, как ''дискретная целочисленная задача о рюкзаке''.
Similar books
Картография: методические указания
Верификация автоматных программ
2011 · PDF
Фотограмметрия и дешифрирование снимков : методические указания
Географические информационные системы : методические указания для выполнения лабораторных работ
Искусство программирования лифта. Объектно-ориентированное программирование с явным выделением состояний
Заметки о мотивации
Решение задачи движения робота по линии с применением автоматного подхода