Книги по разным темам Pages:     | 1 |   ...   | 21 | 22 | 23 |

Термины отображение, функция, преобразование всегда будут иметь одинаковый смысл, а запись f: Х Y будет указывать (читается), что f - отображение, определенное на множестве Х со значениями из множества Y.

Множество Х называется областью определения или доменом функции f.

Множество Y называется областью значения или диапазоном функции f.

Функция f, определенная на множестве Х и принимающая значения из множества Y, называется также отображением Х в Y.

Домен и диапазон называют соответственно первой и второй проекциями f и обозначаются np1f и np2f.

Отображение f множества Х в множество Y называется отображением Х на Y, если np2f = Y. Отображение f множества Х в множество Y называется взаимнооднозначным, если образами двух любых различных элементов множества Х являются различные элементы множества Y.

Пример. Пусть Х - некоторое множество элементов информации, представленных тем или иным образом, Y - другое множество элементов информации, а f - функция преобразования. Тогда преобразователь информации можно представить устройством, реализующим отображение f: Х Y одного множества на другое.

Предметный указатель Абстрактная теория 11, 33, 36 Машина Тьюринга Автомат 18 Место - абстрактный 33, 51, 53 - конечное - асинхронный 11 - начальное - второго рода 12 - основное - детерминированный 37, 45 - предосновное - дискретный 10 - разделяющее - конечный 9, 37 Моноид - Мили 12 Продукция 13, 17, - Мура 12 Распознающая машина - недетерминированный 40, 45 Регулярное событие - первого рода 12 Словарь терминальный - синхронный 11 - нетерминальный - цифровой 10 Соотношения Туэ Алфавит 10, 14 Структурная теория - входной 37 Таблица переходов 32, - выходной 37 - выходов - состояний 37 - совмещенная Входной сигнал 11 Условие автоматности 52, 53, Выходной сигнал 11 Функция выходов - канал 11 - заключительного состояния 73, Грамматики 13 - переходов - контекстно-свободные 19 Цепочка - непосредственных составляющих 19 - правильная - порождающие 14 - пустая - распознающие 14 - смежная - формальные 10 Частичный автомат 48, Граф автомата 34 Частичное отображение Двоичное кодирование 32 Язык 19, 20, Итерация 15 - контекстно-свободный 46, Каноническое множество 56 - программирования Канонический способ отметок Класс 16, Комбинационный синтез Конкатенация Библиографический список 1. Алгебраическая теория автоматов, языки и полугруппы. / Под ред. М. А. Арбиба М.: Статистика, 1975. - 120 с., ил.

2. Апериодические автоматы. /Под ред. В. И. Варшавского. - М.: Наука, 1976. - с.

3. Баранов С. И. Синтез микропрограммных автоматов. Л.: Энергия, 1979. Ц232 с., ил.

4. Букреев И. Н. и др. Микроэлектронные схемы цифровых устройств. - М. : Сов. радио, 1975. - 368 с.

5. Гилл А. Линейные последовательностные машины. - М. : Наука, 1974. - 288 с.

6. Гинзбург С. Математическая теория контекстноЦсвободных языков. - М. : Мир, 1970. Ц328 с.

7. Гладкий А. В. Формальные грамматики и языки. - М. : Наука, 1973. - 368 с.

8. Глушков В. М. и др. Логическое проектирование дискретных устройств. - Киев:

Наукова думка, 1987. - 264 с.

9. Глушков В. М. Синтез цифровых автоматов. - М. : Физматгиз, 1962. - 476 с., ил.

10. Закревский А. Д. Алгоритмы синтеза дискретных автоматов. - М. : Наука, 1971. - 511 с.

11. Каган Б. М. Электронные вычислительные машины и системы. - М. : Энергоатомиздат, 1985. - 306 с.

12. Котов В. Е. Сети Петри. - М. : Наука, 1984. - 158 с.

13. Кудрявцев В. Б. Введение в теорию автоматов. - М. : Наука, 1985. - 319 с., ил.

14. Кузин Л. Т. Основы кибернетики. Т. 2. Энергия, 1979. - 584с.

15. Лазарев В. Г., Пийль Е. И. Синтез управляющих автоматов. - М. : Энергия, 1978.

- 408 с.

16. Леснин А. А. и др. Сети Петри в моделировании и управлении. - Л. : Наука, 1989.

- 133 с.

17. Логическое проектирование БИС /Под ред. В. А. Мищенко - М. : Радио и связь, 1984. - 311 с.

18. Мелихов А. Н. Ориентированные графы и конечные автоматы. - М. : Наука, 1971.

- 416 с.

19. Периодические автоматы / Под ред. В. И. Варшавского. - М. : Наука, 1976. - 178 с.

20. Питерсон Д. Теория сетей Петри и моделирование систем. - М. : Мир, 1984. - с.

21. Поспелов Д. А. Логические методы анализа и синтеза схем. - М. : Энергия, 1974. - 368 с.

22. Рабинович З. Л. Основы теории элементных структур ЭВМ. - М. : Радио и связь, 1982. - 279 с.

23. Савельев А. Я. Прикладная теория цифровых автоматов. ЦМ. : Высшая школа, 1987. Ц272с., ил.

24. Чирков М. К. Основы общей теории конечных автоматов. - Л. : ЛГУ, 1975. Ц280 с., ил.

Учебное издание Захаров Николай Григорьевич Рогов Виктор Николаевич Синтез цифровых автоматов Учебное пособие Редактор М. В. Леонова Подписано в печать 30.10.2003. Формат 6084/16.

Бумага офсетная. Печать трафаретная. усл. печ. л. 8,00.

Уч.-изд. л. 8,00. Тираж 100 экз. заказ.

УГТУ 432027, г. Ульяновск, ул. Сев. Венец, д. 32.

Типография УГТУ, 432027, г. Ульяновск, ул. Сев. Венец, д. 32.

Pages:     | 1 |   ...   | 21 | 22 | 23 |    Книги по разным темам