Chipollino — как лабораторная работа превратилась в инструмент для исследований (Александр Дельман, OSEDUCONF-2024) — различия между версиями

;{{SpeakerInfo}}: {{Speaker|Александр Дельман}}
<blockquote>
Современная теория формальных языков — фундамент для освоения теории компиляторов, теории типов, алгоритмов 
преобразования и анализа программ. Однако в части наглядных средств её освоения есть некоторые затруднения. 

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

Изначально конвертер, включающий эти методы, представлял собой групповую лабораторную работу; 
в дальнейшем в проект добавились результаты также нескольких курсовых работ. 
</blockquote>

{{VideoSection}}

{{vimeoembed||800|450}}
{{youtubelink|}}

{{SlidesSection}}
[[File:Chipollino — как лабораторная работа превратилась в инструмент для исследований (Александр Дельман, OSEDUCONF-2024).pdf|left|page=-|300px]]

{{----}}

== Thesis ==