ВУЗ:
Составители:
3
Введение 
Предлагаемый  материал  посвящен  основам  классической  теории  фор-
мальных языков, грамматик и автоматов – одной из важнейших составных час-
тей инженерного образования по информатике и вычислительной технике. 
Теория  формальных  языков,  грамматик  и  автоматов  составляет  фунда-
мент синтаксических методов. Основы этой теории были заложены Н. Хомским 
в 40–50-е годы XX столетия в связи с его лингвистическими работами, посвя-
щенными  изучению  естественных  языков.  Но  уже  в  следующем  десятилетии 
синтаксические  методы  нашли  широкое  практическое  применение  в  области 
разработки и реализации языков программирования.  
В  настоящее  время  искусственные  языки,  использующие  для  описания 
предметной области текстовое  представление, широко применяются  не только 
в  программировании,  но  и  в  других  областях.  С  их  помощью  описывается 
структура всевозможных  документов, трехмерных  виртуальных  миров, графи-
ческих  интерфейсов  пользователя  и  многих  других  объектов,  используемых  в 
моделях и в реальном мире. Для того чтобы эти текстовые описания были кор-
ректно составлены, а затем правильно распознаны и интерпретированы, приме-
няются  специальные  методы  их  анализа  и  преобразования.  В  основе  данных 
методов лежит теория формальных языков, грамматик и автоматов. 
Теория  формальных  языков,  грамматик  и  автоматов  дала  новый  стимул 
развитию  математической  лингвистики  и  методам  искусственного  интеллекта, 
связанных с естественными и искусственными языками. Кроме того, ее элемен-
ты  успешно  применяются,  например,  при  описании  структур  данных,  файлов, 
изображений, представленных не в текстовом, а двоичном формате. Эти мето-
ды полезны при разработке своих трансляторов даже там, где уже имеются со-
ответствующие аналоги.  
В  методических  указаниях  содержатся  материалы,  необходимые  для  са-
мостоятельной  подготовки  студентов  к  выполнению  лабораторных  работ  по 
разделу «Теория формальных языков, грамматик и автоматов». В описание ла-
бораторных работ включены  цель  работы, порядок ее  выполнения, рассмотре-
ны теоретические вопросы, связанные с реализацией поставленных задач, при-
ведена необходимая литература. В приложениях представлены правила оформ-
ления результатов лабораторной работы. 
                               Введение
      Предлагаемый материал посвящен основам классической теории фор-
мальных языков, грамматик и автоматов – одной из важнейших составных час-
тей инженерного образования по информатике и вычислительной технике.
      Теория формальных языков, грамматик и автоматов составляет фунда-
мент синтаксических методов. Основы этой теории были заложены Н. Хомским
в 40–50-е годы XX столетия в связи с его лингвистическими работами, посвя-
щенными изучению естественных языков. Но уже в следующем десятилетии
синтаксические методы нашли широкое практическое применение в области
разработки и реализации языков программирования.
      В настоящее время искусственные языки, использующие для описания
предметной области текстовое представление, широко применяются не только
в программировании, но и в других областях. С их помощью описывается
структура всевозможных документов, трехмерных виртуальных миров, графи-
ческих интерфейсов пользователя и многих других объектов, используемых в
моделях и в реальном мире. Для того чтобы эти текстовые описания были кор-
ректно составлены, а затем правильно распознаны и интерпретированы, приме-
няются специальные методы их анализа и преобразования. В основе данных
методов лежит теория формальных языков, грамматик и автоматов.
      Теория формальных языков, грамматик и автоматов дала новый стимул
развитию математической лингвистики и методам искусственного интеллекта,
связанных с естественными и искусственными языками. Кроме того, ее элемен-
ты успешно применяются, например, при описании структур данных, файлов,
изображений, представленных не в текстовом, а двоичном формате. Эти мето-
ды полезны при разработке своих трансляторов даже там, где уже имеются со-
ответствующие аналоги.
      В методических указаниях содержатся материалы, необходимые для са-
мостоятельной подготовки студентов к выполнению лабораторных работ по
разделу «Теория формальных языков, грамматик и автоматов». В описание ла-
бораторных работ включены цель работы, порядок ее выполнения, рассмотре-
ны теоретические вопросы, связанные с реализацией поставленных задач, при-
ведена необходимая литература. В приложениях представлены правила оформ-
ления результатов лабораторной работы.
                                                                         3
