Пособие подготовлено на основе многолетнего опыта преподавания учебных дисциплин по системам программирования. Рассматриваются формальные грамматики и языки, их свойства и взаимосвязь с распознавателями. Особое внимание уделяется регулярным грамматикам и конечным автоматам, контекстно-свободным грамматикам и автоматам с магазинной памятью как теоретической основе построения трансляторов для языков программирования. Излагаются методы и алгоритмы анализа и синтеза программ в системах программирования. Приводится большое количество примеров и задач с решениями. Для студентов вузов и преподавателей дисциплин, изучающих построение и функционирование систем программирования.
Posobie podgotovleno na osnove mnogoletnego opyta prepodavanija uchebnykh distsiplin po sistemam programmirovanija. Rassmatrivajutsja formalnye grammatiki i jazyki, ikh svojstva i vzaimosvjaz s raspoznavateljami. Osoboe vnimanie udeljaetsja reguljarnym grammatikam i konechnym avtomatam, kontekstno-svobodnym grammatikam i avtomatam s magazinnoj pamjatju kak teoreticheskoj osnove postroenija transljatorov dlja jazykov programmirovanija. Izlagajutsja metody i algoritmy analiza i sinteza programm v sistemakh programmirovanija. Privoditsja bolshoe kolichestvo primerov i zadach s reshenijami. Dlja studentov vuzov i prepodavatelej distsiplin, izuchajuschikh postroenie i funktsionirovanie sistem programmirovanija.