Искусственный интеллект

130 5.9. Грамматический анализ и автоматы быть всегда построен конечный автомат (не обязательно детерминированный), реализующий все эти последовательности, и этот автомат может быть использован для распознавания последовательностей данного языка. В модели конечного автомата, необходимого для распознавания последовательностей языка и называемого распознающим, удобно выделить из множества всех внутренних состояний подмножество F с В, состояния которого называются финальными, и не использовать множество выходных состояний и функцию выхода. Распознающий автомат определяется следующим образом: М = (А, В, f, b0, F), где А = {а,, аг, ..., aj — входной алфавит; В = {Ь{, Ьг, ..., Ьп} — внутренний алфавит (множество состояний автомата); /: Л х /?-> В— функция переходов, записываемая так же, как f(a, bj = b., a e A, bn b е В; F — непустое множество финальных состояний, /"с В. Количество финальных состояний выбирается из практических соображений. Мы ограничимся одним финальным состоянием bf