Refine your search
Availability
-
Bibliographic level
- Книги (9)
-
Authors
- Белоусов, Алексей Иванович (2)
- Крищенко, Александр Петрович (2)
- Мотвани, Раджив (2)
- Ставровский, Андрей Борисович (2)
- Ткачев, Сергей Борисович (2)
- Ульман, Джеффри Д. (2)
- Хопкрофт, Джон Э. (2)
- Дехтярь, Михаил Иосифович (1)
- Зарубин, Владимир Степанович (1)
- Зарубина, В. С. (1)
- Лапшин, Владимир Анатольевич (1)
- Мозговой, Максим В. (1)
- Саломаа, Арто (1)
- Соколов, Александр Павлович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (7)
- Читальный зал 5 (3)
- Абонемент. Депозитарий (2)
-
Item types
- Выдается в читальный зал (7)
- 1 неделя (3)
- 1 месяц (2)
- 6 месяцев (2)
- Выдается по месту хранения (1)
-
Topics
- контекстно-свободные грамматики (6)
- регулярные языки (6)
- Тьюринга машины (5)
- контекстно-свободные языки (5)
- формальные языки (5)
- конечные автоматы (4)
- учебные пособия для вузов (4)
- Клини теорема (3)
- автоматы конечные (3)
- автоматы с магазинной памятью (3)
- булевы функции (3)
- дискретная математика (3)
- множества (3)
- неразрешимость (3)
- регулярные языки (дискретная математика) (3)
- синтаксический анализ (3)
- МП-автоматы (2)
- Тьюринга машины, теория (2)
- автоматов теория (2)
- алгебраические системы (2)
- алгебраические структуры (2)
- булевы алгебры (2)
- кватернионы (2)
- порождающие грамматики (2)
- семантика формальных языков (2)
- сложность алгоритмов (2)
- теория графов (2)
- трансляторы (2)
- формальные грамматики (2)
- JFLAB проект (1)
- Ламбека грамматики категориальные (1)
- Линденмайера системы (1)
- Математическая лингвистика (1)
- Поста проблема соответствия (1)
- Поста теорема (1)
- Туэ проблема (1)
- Тьюринга-Черча тезис (1)
- Хомского порождающие формальные грамматики (1)
- Черча формализм (1)
- Шрейдера грамматика окрестностные простые (1)
- автоматизация программирования (1)
- автоматные языки (1)
- автоматы как распознаватели языков (1)
- автоматы конечные детерминированные (1)
- автоматы конечные недетерминированные (1)
- автоматы магазинные (1)
- алгоритмы (1)
- алгоритмы анализа программ (1)
- алгоритмы программ (1)
- алгоритмы трансляции (1)
- Show more
- Show less