WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 |   ...   | 21 | 22 ||

Термины отображение, функция, преобразование всегда будут иметь одинаковый смысл, а запись 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 ||



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.