URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Котов В.Е. Введение в теорию схем программ
Id: 39442
 
999 руб.

Введение в теорию схем программ

1978. 260 с. Мягкая обложка. Букинист. Состояние: 4. .

 Аннотация

Теория схем программ --- один из разделов теоретического программирования --- изучает те структурные свойства и преобразования программ, которые отличают их от других способов задания алгоритмов. Главный объект исследований --- схема программы, математическая модель программы, в которой отражено взаимодействие информационной и логической структур программы. Монография представляет собой систематическое изложение основных понятий теории схем, ее главных проблем и результатов, ставших классическими. Основное внимание концентрируется на наиболее полно изученном классе схем --- стандартных схемах --- и на фундаментальной проблеме теории схем --- проблеме эквивалентности. Рассматриваются также другие классы схем (рекурсивные схемы, различные обобщения стандартных схем) и проблема взаимной трансляции этих классов.

Книга ориентирована на широкий круг специалистов по системному и теоретическому программированию, она будет полезна также студентам и аспирантам, готовящимся к работе в этой области.


 ОГЛАВЛЕНИЕ

От редактора.............

Предисловие.............

Глава 1. Вычислимость и разрешимость.....

§ 1. Вычислимые функции, алгоритмы

1.1. Функции.........

1.2. Словарные функции......

1.3. Вычислимые функции и машины Тьюринга...........

1.4. Пример машины Тьюринга.

1.5. Словарное представление машины Тьюринга..........

§ 2. Разрешимые и неразрешимые проблемы.

2.1. Массовые алгоритмические проблемы

2.2. Проблема остановки......

2.3. Проблема пустой ленты и метод сведения

2.4. Проблема зацикливания.....

Краткий обзор и комментарии.....

Глава 2. Конечные автоматы........

§ 1. Одноленточные автоматы......

1.1. Определение автомата......

1.2. Проблемы пустоты и эквивалентности § 2. Многоленточные и многоголовочные автоматы

2.1. Определения и пример.....

2.2. Проблемы пустоты и эквивалентности Краткий обзор и комментарии.....

Глава 3. Стандартные схемы программ.....

§ 1. Схемы программ........

1.1. Программы.........

1.2. От программ к схемам программ

§ 2. Класс стандартных схем......

2.1. Базис..........

2.2. Стандартная схема (линейная форма)

2.3. Стандартная схема (графовая форма)

2.4. Интерпретация, программа....

2.5. Примеры программ. ;....

§ 3. Эквивалентность и главные свойства стандартных схем.........

3.1. Эквивалентность, тотальность, пустота, свобода.........

3.2. Свободные интерпретации....

3.3. Связь между интерпретациями и свободными интерпретациями.....

3.4. Основные теоремы о свободных интерпретациях.........

Краткий обзор и комментарии......

Глава 4. Неразрешимые свойства стандартных схем.

§ 1. Двоичный двухголовочный автомат. § 2. Моделирование двоичного автомата стандартной схемой........

2.1. Класс 9' стандартных схем....

2.2. Построение схемы, моделирующей авто-

мат..........

•§ 3. Теоремы о неразрешимых свойствах стандартных схем..........

3.1. Проблемы пустоты и эквивалентности

3.2. Проблема тотальности......

3.3. Проблема свободы.......

Краткий обзор и комментарии......

Глава 5. Разрешимые подклассы стандартных схем

§ 1. Свободные стандартные схемы....

1.1. Проблемы пустоты и тотальности

1.2. Проблема изоморфизма.....

§ 2. Схемы Янова.........

2.1. Класс схем Янова.......

2.2. Эквивалентные преобразования.

2.3. Канонические схемы.

§ 3. Разрешимые свойства схем Янова.

3.1. Построение канонических схем.. •.

3.2. Проблемы свободы, пустоты, тотальности

3.3. Проблема эквивалентности... Краткий обзор и комментарии.

Глава 6. Рекурсивные схемы.........

§ 1. Класс рекурсивных схем..

1.1. Рекурсивное программирование

1.2. Определение рекурсивной схемы..

1.3. Рекурсивная программа.... -. § 2. Проблемы трансляции.... ¦.

2.1. О сравнении классов схем...

2.2. Трансляция стандартных схем в рекурсивные.....• • •, •

2.3. Трансляция рекурсивных схем в стандартные......

§ 3. Линейные унарные рекурсивные схемы

3.1. Проблема трансляции.

3.2. Лраволинейные унарные схемы.

§ 4. Схемы с процедурами.......

4.1. Сравнение с классом рекурсивных схем

4.2. Частичная трансляция схем с процедурами...........

Краткий обзор и комментарии......

Глава 7. Обогащенные схемы........

§ 1. Классы обогащенных схем.....

1.1. Счетчики, магазины, массивы....

1.2. Примеры обогащенных схем.

§ 2 Проблемы трансляции.......

2.1. Счетчиковые и рекурсивные схемы.

2.2. Счетчиковые и стандартные схемы

2.3. Счетчиковые и магазинные схемы

2.4. Магазинные схемы и схемы с массивами

2.5. Магазинные и рекурсивные схемы

2.6. Сравнительная схематология.... Краткий обзор и комментарии......

Глава 8. Схема структурированных программ.

§ 1. Структурированные схемы.....

1.1. Класс структурированных схем.

1.2. Трансляция структурированных схем

в стандартные........

1.3. Трансляция стандартных схем в структурированные.........

§ 2. Структурированные схемы с логическими операциями..........

Литература..............

Предметный указатель...........

 
© URSS 2016.

Информация о Продавце