Розглянуто найчастіше вживані моделі формальних мов. Описана традиційна синтаксична модель, яка задає правила формування та розпізнання мовних виразів, а також ряд семантичних моделей, що застосовуються для аналізу смислової коректності мовних виразів, порівняння їх між собою, формальної верифікації програмного коду. Перелічено особливості та межі застосування існуючих та перспективні напрямки розробки нових мовних моделей.

Рассмотрены наиболее часто используемые модели формальных языков. Описана традиционная синтаксическая модель, которая задает правила формирования и распознавания фраз языка, а также ряд семантических моделей, применяемых для анализа смысловой корректности языковых фраз, сравнения их между собой, формальной верификации программного кода. Перечислены особенности и границы применения существующих и перспективные направления разработки новых языковых моделей.

A review of the most frequently used formal language models is given. The traditional syntactic model is described. It specifies rules of phrases generation and recognition. Some semantic models are also given. They are useful for the analysis of sentence's semantic correctness, their comparison, formal verification of software code, etc. Peculiar properties and limits of existing models are described as well as advanced research tends of formal language theory. Статья содержит обзор наиболее часто используемых моделей формальных языков. Описана традиционная синтаксическая модель, которая задает правила формирования и распознавания фраз языка...

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"