ВУЗ:
Составители:
13
приведена иерархия языков и соответствующие ей иерархии грамматик и автоматов
как распознающих устройств.
Любое множество, порождаемое автоматическим устройством произвольного
вида, порождается некоторой грамматикой типа 0 по Хомскому. Заметим, что для
любого естественного языка, в принципе, возможно построить математическую мо-
дель, использующую такую грамматику.
Таким образом, грамматики типа 0 представляют собой порождающие устрой-
ства очень общего характера. А те формальные языки, с которыми имеют дело авто-
матно-лингвистические модели (язык программирования, ограниченные естественные
языки), как показывает практика, всегда описываются языками типа 1 или 2.
Языки типа 3, которые называют автоматными языками, языками с конечным
числом состояний, нашли широкое применение в исследовании электронных схем, а
также в ряде других областей (например, исследование цепей Маркова).
Рекурсивно-перечислимые
множества
Линейно-ограниченные
автоматы
Автомат с магазинной
памятью
НС-языки
КС-языки
Машины
Тьюринга
Конечные автоматыРегулярные языки
Грамматика Языки Автоматы
Тип 0
Тип 3
Тип 2
Тип 1
Рис. 1.1. Иерархия грамматик, языков и автоматов
1.4. Распознающие устройства и автоматы
Распознавание образов (объектов, сигналов, ситуаций или процессов) – едва ли
не самая распространенная задача, которую человеку приходится решать практически
ежесекундно от первого до последнего дня своего существования. Для решения этой
задачи человек использует огромные ресурсы своего мозга, включая одновременно
10 – 12 миллиардов нейронов. Именно это дает возможность людям мгновенно узна-
вать друг друга, с большой скоростью читать печатные и рукописные тексты, без-
ошибочно водить автомобили в сложном потоке уличного движения, осуществлять
обработку деталей на конвейере, дешифровать аэро- и космические фотоснимки, раз-
гадывать коды, древнюю египетскую клинопись и т. д.
Потребности в комплексной механизации и автоматизации, создании роботов,
решении задач технической и медицинской диагностики, метеорологического про-
гноза, формализованной оценки общественных, экономических и социологических
Страницы
- « первая
- ‹ предыдущая
- …
- 12
- 13
- 14
- 15
- 16
- …
- следующая ›
- последняя »
