Cтраница 4
Такой подход применяют при формализации логического языка. В логике синтаксис языка обычно определяется по инструкции. Это определение порождает правильно составленные выражения ( формулы) языка. Эти исходные выражения соответствуют словам словаря различных синтаксических категорий ( таких, как глагол, прилагательное, существительное) естественного языка, а также терминальным символам и синтаксическим категориям формальных грамматик и языков, вводимых в этой главе. [46]
Формализм УСП включает несколько классов сетей - сообразно типам грамматик иерархии Хомского ( разд. Элементарнейшие - базовые сети переходов, или, короче, БП-сети, БСП ( английский термин - Basic Transition Network, BTN) соответствуют конечным автоматам. Иногда сеть и автомат означают класс сетей и класс автоматов. С помощью БП-сетей регулярные языки определяются более сжато, чем с использованием конечных автоматов. Это достигается посредством интерпретаций синтаксических категорий грамматик с привлечением входных и терминальных символов сети. У конечного автомата входными символами являются только слова, построенные из символов входного словаря. [47]