Языки, автоматы и грамматики

Языки, автоматы и грамматики

Библиографическая информация
Главный автор:	Голубенко, Дмитрий Александрович
Другие авторы:	Саватеев, Юрий Вячеславович
Формат:	Статья в сборнике
Язык:	Russian
Публикация:	Москва Издательство МЦНМО 2023
Предметы:	автоматов теория конечные автоматы регулярные выражения (языки формальные) Клини алгебра лемма о накачке функции производящие Майхилла-Нероуда теорема алгоритмы минимизации синтаксические моноиды языки формальные языки контекстно-свободные грамматики контекстно-свободные автоматы с магазинной памятью Парика теорема языки контекстно-свободные детерминированные Дика языки Хомского-Шютценберже теорема языки контекстно-зависимые языки перечислимые Тьюринга машины m-сводимость Успенского-Райса теорема решения задач избранные

Похожие документы

Введение в теорию автоматов, языков и вычислений Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [под ред. А. Б. Ставровского ; пер. с англ. О. И. Васылык и др.]
по: Хопкрофт, Джон Э.
Публикация: (2008)

Теория формальных языков. Анализ и трансляция [учебное пособие]
по: Сердобольский, Вадим Иванович
Публикация: (2008)

Введение в теорию автоматов, языков и вычислений Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [под ред. А. Б. Ставровского ; пер. с англ. О. И. Васылык и др.]
по: Хопкрофт, Джон Э.
Публикация: (2002)

Дискретная математика учебник для студентов втузов
по: Белоусов, Алексей Иванович
Публикация: (2004)

Лекции по математической лингвистике
по: Лапшин, Владимир Анатольевич
Публикация: (2010)

Дискретная математика [учебник для студентов втузов]
по: Белоусов, Алексей Иванович
Публикация: (2015)

О синтаксическом анализе и проблеме В. М. Глушкова распознавания контекстно-свободных языков Хомского
по: Сафонов, Константин Владимирович

Математические основания информатики
по: Столбоушкин, А. П.
Публикация: (1998)

Синтаксический анализ мономов контекстно-свободных языков с учетом порядка применения продукций
по: Кишкан, Владимир Владимирович

Математические основания информатики
по: Столбоушкин, А. П.
Публикация: (1998)

Математические основы информатики Пособие для студентов специальности G 31 03 04 "Информатика"
по: Мощенский, Андрей Владимирович
Публикация: (2002)

Проверка переходов в расширенном автомате на основе срезов
по: Михайлов, Юрий Владимирович

Лингвистическое программное обеспечение САПР: учебное пособие/
по: Песков, М. А. Михаил Андреевич, et al.
Публикация: (2010)

Элементы математической лингвистики
по: Гладкий, Алексей Всеволодович
Публикация: (1969)

Классика программирования: алгоритмы, языки, автоматы, компиляторы практический подход
по: Мозговой, Максим В.
Публикация: (2006)

Теоретические основы разработки и реализации языков программирования учебное пособие : [для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки дипломированных специалистов "Информатика и вычислительная техника"]
по: Гавриков, Михаил Михайлович
Публикация: (2016)

Языки и трансляции учебное пособие
по: Мартыненко, Борис Константинович
Публикация: (2004)

Теория синтаксического анализа, перевода и компиляции В 2 т.
по: Ахо, Альфред В.
Публикация: (1978)

Системы программирования: теория, методы, алгоритмы учебное пособие по направлению 654600 - информатика и вычислительная техника
по: Соколов, Александр Павлович
Публикация: (2004)

Теория трансдьюсеров
по: Лисовик, Леонид Петрович
Публикация: (2005)

Введение в теорию алгоритмических языков и компиляторов [учебное пособие для студентов вузов, обучающихся по направлению 230105 "Информатика и вычислительная техника"]
по: Гагарина, Лариса Геннадьевна
Публикация: (2013)

Введение в теорию алгоритмических языков и компиляторов [учебное пособие для вузов по специальности 230105.65 "Программное обеспечение вычислительной техники и автоматизированных систем" по направлению подготовки специалистов 654600 "Информатика и вычислительная техника" и направлению подготовки бакалавров и магистров 552800 "Информатика и вычислительная техника"]
по: Гагарина, Лариса Геннадьевна
Публикация: (2009)

Теория и реализация языков программирования
по: Серебряков, Владимир Алексеевич математик
Публикация: (2012)

Теория трансдьюсеров
по: Лисовик, Леонид Петрович
Публикация: (2005)

Методы построения алгоритмов генерации и нумерации комбинаторных объектов на основе деревьев И/ИЛИ
по: Кручинин, Владимир Викторович
Публикация: (2007)

Основы конструирования компиляторов
по: Серебряков, Владимир Алексеевич математик
Публикация: (2001)

Лингвистическое обеспечение автоматизированных систем [учебное пособие для вузов по направлению "Информатика и вычислительная техника", специальности "Программное обеспечение вычислительной техники и автоматизированных систем"]
по: Заболеева-Зотова, Алла Викторовна
Публикация: (2008)

Информационные системы Учебное пособие
по: Галанский, Борис Лазаревич
Публикация: (1989)

Логический подход к искусственному интеллекту От классической логики к логическому программированию
Публикация: (1990)

Построение компиляторов
по: Вирт, Никлаус 1934-
Публикация: (2010)

Информатика: Задачи и решения : Пер. с нем./
по: Бауэр, Ф. Л. Фридрих, et al.
Публикация: (1978)

Языки программирования, формальные грамматики, конечные автоматы и методы трансляции учебное пособие
по: Горчаков, Леонид Всеволодович
Публикация: (2011)

Современная прикладная алгебра
по: Биркгоф, Гаррет
Публикация: (2005)

Пролог в примерах и задачах
по: Ходашинский, И. А.
Публикация: (2001)

Информатика: Вводный курс: Пер. с нем./
по: Бауэр, Ф. Л. Фридрих, et al.
Публикация: (1976)

Теория формальных языков. Вводный курс: Пер. с англ./
по: Рейуорд-Смит, В. Дж
Публикация: (1988)

Информатика Задачи и решения
по: Бауэр, Фридрих Л.
Публикация: (1978)

Алгоритм решения расширенной проблемы синтаксического анализа
по: Кишкан, Владимир Владимирович

Лекции о производящих функциях
по: Ландо, Сергей Константинович 1955-
Публикация: (2000)

Синтаксически управляемая обработка данных
по: Мартыненко, Борис Константинович
Публикация: (2004)