Вы искали: формальные языки

Теория принятия решении и распознавание образов

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

Дискретная математика (5-е издание)

В девятнадцатом выпуске серии "Математика в техническом университете" изложены теория множеств и отношений, элементы современной абстрактной алгебры, теория графов, классические понятия теории булевых функций, а также основы теории формальных языков, куда включены теории конечных автоматов, регулярных языков, контекстно-свободных языков и магазинных автоматов. В анализе графов и автоматов особое внимание уделено алгебраическим методам.

Введение в прикладную теорию автоматов

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

Введение в теорию формальных языков

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

Математическая логика и теория алгоритмов

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

1