Полное описание
>
Методы и модели теории автоматов : учебное пособие по курсам "Информатика" и "Основы теории вычислительных систем" для студентов, обучающихся по направлению подготовки 09.03.01 "Информатика и вычислительная техника" / И. И. Дзегелёнок, А. Ф. Крюков, Ю. В. Аляева, Д. А. Орлов ; Министерство науки и высшего образования Российской Федерации, Национальный исследовательский университет "МЭИ". - Москва : Изд-во МЭИ, 2024. - 88 с. : ил. - Авт. указаны на обороте тит. л. - Библиогр.: с. 88 (7 назв.). - 100 экз. - ISBN 978-5-7046-2930-6. - Текст (визуальный) : непосредственный.| ГРНТИ | УДК | |
| 28.25 | 519.713 |
Рубрики:
Автоматов теория
Кл.слова (ненормированные): АБСТРАКТНЫЕ КОНЕЧНЫЕ АВТОМАТЫ -- МИНИМИЗАЦИЯ -- СИНТЕЗ ПО РЕГУЛЯРНЫМ ВЫРАЖЕНИЯМ -- СТРУКТУРНЫЙ СИНТЕЗ -- ТЕОРИЯ КОНЕЧНЫХ АВТОМАТОВ -- ЭКСПЕРИМЕНТЫ С АВТОМАТАМИ
Аннотация: В учебном пособии рассматриваются методы и модели теории конечных автоматов. Приводятся способы представления, язык описания и методы синтеза абстрактных конечных автоматов. Рассматриваются особенности и метод синтеза структурных автоматов. Для студентов, обучающихся по направлению подготовки 09.03.01 "Информатика и вычислительная техника".
Доп. точки доступа:
Дзегелёнок, Игорь Игоревич
Дзегеленок И.И.
Крюков, Александр Фёдорович
Аляева, Юлия Владимировна
Орлов, Дмитрий Александрович
"МЭИ", национальный исследовательский университет (Москва)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-24/20427)>
Шифр в сводном ЭК: ce06169a20a94bff88ac5db10f0bc3c5
Орлов, Дмитрий Александрович. Методика многокритериальной оптимизации управления движением космического аппарата при спуске в атмосфере планеты : 05.07.09 Динамика, баллистика, управление движением летательных аппаратов: автореферат диссертации на соискание ученой степени кандидата технических наук / Орлов Дмитрий Александрович, 2021. - 20 с. - Текст : непосредственный.Оцоков, Шамиль Алиевич. Машинная арифметика и направления её развития : учебное пособие по дисциплине "Машинная арифметика в рациональных числах" для магистров, обучающихся по направлениям "Информатика и вычислительная техника" / Ш. А. Оцоков, И. И. Дзегелёнок, 2022. - 67 с. - Текст (визуальный) : непосредственный.Оцоков, Шамиль Алиевич. Введение в технологию блокчейн : учебное пособие по дисциплине "Введение в технологию блокчейн" для студентов, обучающихся по направлению 38.03.01 "Экономика" / Ш. А. Оцоков, Ю. В. Аляева, 2023. - 90 с. - Текст (визуальный) : непосредственный.Методы и модели теории автоматов : учебное пособие по курсам "Информатика" и "Основы теории вычислительных систем" для студентов, обучающихся по направлению подготовки 09.03.01 "Информатика и вычислительная техника" / И. И. Дзегелёнок, А. Ф. Крюков, Ю. В. Аляева, Д. А. Орлов, 2024. - 88 с. - Текст (визуальный) : непосредственный.Администрирование защищенных операционных систем : практикум по дисциплине "Администрирование защищенных операционных систем" для студентов, обучающихся по направлению 09.03.01 "Информатика и вычислительная техника" / М. А. Орлова, О. П. Морозова, Д. А. Орлов [и др.], 2025. - 67 с. - Текст (визуальный) : непосредственный.Применение программных средств для дизайна и исследования компьютерных сетей : практикум по дисциплине "Сетевые технологии" для студентов, обучающихся по направлению 09.04.01 "Информатика и вычислительная техника" / М. А. Орлова, Л. И. Абросимов, Д. А. Орлов [и др.], 2025. - 54 с. - Текст (визуальный) : непосредственный.Алгоритмические системы и вычисления : учебное пособие по курсам "Информатика" и "Основы теории вычислительных систем" для студентов, обучающихся по направлению 09.03.01 "Информатика и вычислительная техника" / И. И. Дзегелёнок, Д. А. Орлов, М. А. Орлова [и др.], 2026. - 46 с. - Текст (визуальный) : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Илясов С.А. Распознавание некоторых свойств автоматных алгебр : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / С. А. Илясов, 2006. - 9 с. - Текст : непосредственный.Encyclopedia of algorithms / Ed. M.-Y. Kao, 2008. - LIII, 1166 p. - Текст : электронный.Language and automata theory and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Пономарева А.Ю. Проблемы оптимизации обобщенных конечно-автоматных моделей с периодически меняющейся структурой : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Ю. Пономарева, 1999. - 16 с. - Текст : непосредственный.Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный.Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный.Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный.Кучеренко И.В. Обратимые клеточные автоматы / И. В. Кучеренко, 2012. - 20 с. - Текст : непосредственный.Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный.Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный.Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный.Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный.Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный.Основы алгоритмизации и программирования : выставочные материалы / Хакасский гос. ун-т им. Н. Ф. Катанова (Абакан), 2014. - 113 с. - Текст : непосредственный.Стащук П.В. Архитектура ЭВМ уровня цифровых автоматов : выставочные материалы / П. В. Стащук, 2016. - 138 с. - Текст : непосредственный.
Показать все результатыГорбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Богомолов А.М. Эксперименты с автоматами, 1973. - 144 с. - Текст : непосредственный.Автоматы и разумное поведение. Опыт моделирования, 1973. - 375 с. - Текст : непосредственный.Плоткин Б.И. Элементы алгебраической теории автоматов / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный.Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный.Епифанов А.С. Анализ фазовых картин дискретных динамических систем / А. С. Епифанов, 2008. - 155 с. - Текст : непосредственный.Твердохлебов В.А. Геометрические образы законов функционирования автоматов / В. А. Твердохлебов, 2008. - 182 с. - Текст : непосредственный.Fehler in Automaten / Hrsg.: D. Bochmann, R. Ubar, 1989. - 216 S. - Текст : непосредственный.Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный.Фрид А.И. Избранные лекции по теории автоматов / А. И. Фрид, 2005. - 260 с. - Текст : непосредственный.Богомолов А.М. Автоматные модели и рекурсивный конструктивизм / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов, 1992. - 75 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Илясов С.А. Распознавание некоторых свойств автоматных алгебр : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / С. А. Илясов, 2006. - 9 с. - Текст : непосредственный.Language and automata theory and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Пономарева А.Ю. Проблемы оптимизации обобщенных конечно-автоматных моделей с периодически меняющейся структурой : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Ю. Пономарева, 1999. - 16 с. - Текст : непосредственный.Кучеренко И.В. Обратимые клеточные автоматы / И. В. Кучеренко, 2012. - 20 с. - Текст : непосредственный.Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный.Стащук П.В. Архитектура ЭВМ уровня цифровых автоматов : выставочные материалы / П. В. Стащук, 2016. - 138 с. - Текст : непосредственный.Воронин В.В. Основы синтеза и диагностирования автоматов / В. В. Воронин, 2002. - 235 с. - Текст : непосредственный.Богомолов А.М. Эксперименты с автоматами, 1973. - 144 с. - Текст : непосредственный.Зузанова М.Р. Некоторые алгоритмы эквивалентного преобразования недетерминированных конечных автоматов / М. Р. Зузанова, 2010. - 21 с. - Текст : непосредственный.Автоматы и разумное поведение. Опыт моделирования, 1973. - 375 с. - Текст : непосредственный.Плоткин Б.И. Элементы алгебраической теории автоматов / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный.Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный.Орлов В.А. Об особенностях асимптотического поведения сложности реализации K-значных и автоматных функций схемами в произвольном конечном базисе : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / В. А. Орлов, 1999. - 28 с. - Текст : непосредственный.Алешин С.В. Алгебраические системы автоматов : выставочные материалы / С. В. Алешин, 2016. - 190 с. - Текст : непосредственный.Епифанов А.С. Анализ фазовых картин дискретных динамических систем / А. С. Епифанов, 2008. - 155 с. - Текст : непосредственный.Твердохлебов В.А. Геометрические образы законов функционирования автоматов / В. А. Твердохлебов, 2008. - 182 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽