Аннотация:В работе А.Заитова решается задача анализа программы, написанной студентом, изучающим язык программирования. Известно, что современные языки программирования не являются регулярными – как правило, это контестно-свободные языки. Тем не менее им свойственна некая «локальная регулярность» (на этом, например, основан лексический анализ – 1-я фаза компиляции). Предположительно программы, написанные студентами, «более регулярны», чем программы профессиональных программистов. Поэтому в качестве основного инструмента анализа студенческих программ используются регулярные выражения. А.Заитовым построены примеры весьма интересных выражений, выявляющих типичные ошибки, такие как отсутствие освобождения ранее выделенной памяти (что, кстати, весьма сложно выявить в профессиональной программе).