ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 25.06.2024
Просмотров: 85
Скачиваний: 0
|
ЛИТЕРАТУРА |
1. А й з е р м а н |
М. А., Г у с е в Л. А. и др. Логика. Автоматы, алгоритмы. |
М., Физматгиз, |
1963. |
2.А с т а ш о в В. В. Элементы теории алгоритмов. Изд-во Пермского высшего командно-инженерного училища.
3. |
Г л у ш к о в |
В. М. |
Введение в кибернетику. Изд-во |
АН УССР, |
1964. |
4. |
Г л а д к и й |
А. В., |
М е л ь ч у к И. А. Элементы |
математической логики. |
|
|
М., «Наука», |
1969. |
|
|
|
5. |
Г р о с с М., |
Л а н т е н А. Теория формальных грамматик. М., |
«Мир», 1972. |
||
6.Г и н с б у р г С. Математическая теория контекстно-свободных языков. М., «Мир», 1970.
7. |
Г у с е в |
Л. А., |
С м и р н о в а И. |
М. Языки, грамматики и абстрактные |
ав |
|
томатные |
модели. —«Автоматика |
и телемеханика», № 4, 5, М., «Наука», |
1968. |
|
8. |
Д я т л о в |
В. К. |
Нормальные алгоритмы и рекурсивные функции, ДАН СССР, |
||
т. 90, № 5, 1953.
9.Е р ш о в А. П. Операторные алгоритмы П. — В сб.: Проблемы кибернетики. Вып. 8. М., Физматгиз, 1962.
10.Е р ш о в А. П. Об операторных схемах Янова. — В сб.: Проблемы киберне тики. Вып. 20. М., Физматгиз, 1968.
11. К о л м о г о р о в А. Н., |
У с п е н с к и й В. А. |
К определению |
алгоритма, |
|
УМН, т. 13, вып. 4/82, 1958; К о л м о г о р о в |
А. Н. |
Три подхода |
к опреде |
|
лению понятия количества |
информации. — «Проблемы |
передачи информации». |
||
Вып. 1, 1965. |
|
|
|
|
12.Л е т и ч е в с к и й А. А. Синтаксис и семантика формальных языков. — «Ки бернетика». Вып. 4, 1968.
13. |
М а р к о в |
А. А. |
Теория алгоритмов. Труды |
математического |
института |
им. |
|||
|
В. А. Стеклова. М., |
Изд-во АН СССР, т. 42, |
1954; |
М а р к о в |
А. А. |
О |
нор |
||
|
мальных алгоритмах, вычисляющих булевы функции, ДАН СССР, т. 157, № 2, |
||||||||
|
1964. |
|
|
|
|
|
|
|
|
14. |
М а л ь ц е в |
А. И. |
Алгоритмы и рекурсивные функции. М., «Наука», |
1960. |
|||||
15. |
М е н д е л ь с о н |
Э. |
Введение в математическую |
логику. М., |
«Наука», |
1971. |
|||
16.М е л и х о в А. Н. Ориентированные графы и конечные автоматы. М., «Нау ка», 1971.
17. М и н с к и й М. Вычисления и автоматы. М., «Мир», 1971.
18.Н о в и к о в П. С. Об алгоритмической неразрешимости проблемы тождества слов в теории групп. Труды математического института им. В. А. Стеклова. М., Изд-во АН СССР, т. 44, 1955.
19. |
Т р а х т е н б р о т |
Б. А. Алгоритмы и |
машинное решение задач. М., |
Физмат |
||||||||
|
гиз, 1960. |
|
|
|
|
|
|
|
|
|
|
|
20. |
Т р а х т е н б р о т |
Б. А. |
Сложность |
алгоритмов |
и |
вычислений. |
|
Новоси |
||||
|
бирск, 1967; |
Т р а х т е н б р о т |
Б. А. |
Сигнализирующие функции |
и |
таблич |
||||||
|
ные операторы. — «Записки Пензенского ГПИ». Вып. 4, |
1956. |
|
|
|
|||||||
21. |
Т р а х т е н б р о т |
Б. А., |
Б а р з д и н ь |
Я. М. |
Конечные |
автоматы. М., |
||||||
|
«Наука», 1970. |
|
|
|
|
|
|
|
|
|
|
|
22. |
Т ь ю р и н г |
А. Может ли |
машина мыслить? М., |
Физматгиз, |
1960. |
|
|
|||||
23. |
X о м с к и й |
Н. |
Введение |
в |
формальный |
анализ |
естественных |
языков. — |
||||
|
«Кибернетический |
сборник». Вып. 1, 1965. |
|
|
|
|
|
|
||||
24.Х о м с к и й Н. Три модели для описания языка. — «Кибернетический сбор ник». Вып. 2, 1961.
25.X о м с к и й Н. Формальные свойства грамматик. — «Кибернетический сбор ник». Вып. 2, 1966.
26. Ц е й т и н Г. С. Оценка числа шагов при |
применении нормального алгорит |
ма. Математика' в СССР за 40 лет, т. 1, М., |
1959. |
27.Ш е н о н К. Э. Универсальная машина Тьюринга с двумя внутренними со стояниями.— В сб.: Автоматы. М., «Наука», 1956.
28. Ш и х а н о в и ч Ю. А. Введение в современную математику. М., «Наука»,
29.Я н о в Ю. И. О логических схемах алгоритмов. — В сб.: Проблемы кибер нетики. Вып. 1, М., Физматгиз, 1958.
163
ОГЛАВЛЕНИЕ
Стр.
Введение
Г л а в а 1. Алгоритмические системы
1.1. Основные понятия теории алгоритмов 1.2. Рекурсивные функции . . . .
1.3.Машины Тьюринга
1.3.1.Основные понятия
1.3.2.Машины Тьюринга с двумя выходами
1.3.3.Многоленточная машина Тьюринга .
1.3.4.Универсальная машина Тьюринга .
1.3.5.Композиции машин Тьюринга
1.4.Нормальные алгоритмы А. А. Маркова .
1.5.Операторные алгоритмические системы
1.5.1.Общие замечания
1.5.2.Операторные алгоритмы Ван Хао
1.5.3.Операторные алгоритмы А. А. Ляпунов,
1.5.4.Блок-схемный метод алгоритмизации
1.6. Методы оценки алгоритмов |
. . . . |
1.7.Формальные преобразования алгоритмов .
1.8.Алгоритмически неразрешимые проблемы .
Гл а в а 2. Основы теории формальных грамматик .
2.1.Основные понятия грамматик . . . .
2.2.Грамматики непосредственно составляющих
2.3.Контекстно-свободные грамматики
2.4.Классы, промежуточные между бесконтекст ными и контекстными грамматиками .
2.4.1.Программные грамматики
2.4.2.Индексные грамматики
2.5.Трансформационные грамматики .
2.6.Категориальная грамматика
2.7.Основные свойства языков . . . .
2.7.1.Свойства языков
2.7.2.Операции над языками .
2.8.Методы анализа грамматики языков .
2.8.1. Общие положения |
. . . . |
2.8.2.Метод Эйкела, Паула, Бауэра, Замелзона
2.8.3.Метод Флойда
2.8.4. Метод Наура |
* s i |
2.9.Формальные свойства грамматик .
2.10.Абстрактные автоматы и их связь с языка ми и грамматиками
2.10.1.Основные понятия теории автоматов
2.10.2.Линейноограниченные автоматы
2.10.3.Автоматы с магазинной памятью .
2.10.4.Конечные автоматы
Литература |
; |
