Приложение
для AndroidПолное описание
| ГРНТИ | УДК | |
| 28.15 | 519.713 | |
| 16.31.31 | 510.567 |
Рубрики:
Автоматов теория
Формальные языки
Кл.слова (ненормированные): АВТОМАТЫ С МАГАЗИННОЙ ПАМЯТЬЮ -- КЛАССЫ АВТОМАТОВ -- КОНЕЧНЫЕ АВТОМАТЫ -- МОДЕЛИ ГРАММАТИК -- РЕГУЛЯРНЫЕ ЯЗЫКИ -- ФОРМАЛЬНЫЕ ГРАММАТИКИ
Аннотация: В учебном пособии в доступной форме изложены основы теории автоматов и формальных языков. Рассмотрены распознающие автоматы и порождающие грамматики, а также регулярные выражения, которые описывают все языки программирования. Приведены многочисленные примеры и решения задач, составлены теоретические вопросы для самопроверки и практические задания для эффективного освоения материала. Представлен современный библиографический список. Для студентов, обучающихся по направлению подготовки бакалавриата 09.03.04 "Программная инженерия" и специалитета 10.05.01 "Компьютерная безопасность" очной и заочной форм обучения, а также читателей, интересующихся вопросами теории языков программирования.
Доп. точки доступа:
Червякова, Марина Владимировна
Тихоокеанский государственный университет (Хабаровск)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-21/99736)
Шифр в сводном ЭК: 3ab4105890e549dfa163aaed14fb4ad4
Сорокина М.М. Теория автоматов и формальных языков : учебник / М. М. Сорокина, А. Б. Еловиков, 2012. - 153 с. - Текст : непосредственный.Осипов А.Л. Теория автоматов и формальных языков : лаб. практикум / А. Л. Осипов, 2014. - 80 с. - Текст : непосредственный.Хан, Сун Э. Теория автоматов и формальных языков : учебное пособие / С. Хан, М. В. Червякова, 2021. - 89 с. - Текст (визуальный) : непосредственный.Карлов, Борис Николаевич. Теория автоматов и формальных языков : учебник / Б. Н. Карлов, 2025. - 412 с. - Текст (визуальный) : непосредственный.
Тишков Н.Л. Арочные двутавровые стержни с тонкой поперечно-гофрированной стенкой : монография / Н. Л. Тишков, А. Н. Степаненко, 2017. - 139 с. - Текст : непосредственный.Кривко Е.В. Технологические карты в дорожном строительстве : учебное пособие / Е. В. Кривко, А. Е. Казаринов, 2018. - 255 с. - Текст : непосредственный.Иванов Н.А. Новые конструкции легких вездеходов и их тяговые свойства : монография / Н. А. Иванов, К. А. Харченко, 2018. - 182, [1] с. - Текст : непосредственный.Тищенко В.П. Дисперсные системы и загрязнение атмосферы и гидросферы / В. П. Тищенко, 2017. - 203 с. - Текст : непосредственный.Лазарев И.В. Вопросы оценки остаточного ресурса грузоподъемности ребристых железобетонных пролетных строений с каркасной арматурой / И. В. Лазарев, И. Ю. Белуцкий, 2018. - 213, [1] с. - Текст : непосредственный.Майорова Л.П. Горное дело и окружающая среда : учебное пособие / Л. П. Майорова, Л. Т. Крупская, А. А. Черенцова, 2017. - 179 с. - Текст : непосредственный.Дальний Восток: проблемы развития архитектурно-строительного и дорожно-транспортного комплекса : материалы Международной научно-практической конференции / Тихоокеанский государственный университет. Вып. 17 : Научные чтения памяти профессора М. П. Даниловского, 2017. - 688 с. - Текст : непосредственный.Строева Г.Н. Основы регионального экономического анализа : учебное пособие : в 2 ч. Ч. 2, 2017. - 191 с. - Текст : непосредственный.Иовенко В.В. Введение в теорию упругости : учебное пособие / В. В. Иовенко, 2017. - 199 с. - Текст : непосредственный.Рыжова А.С. Организация предпринимательской деятельности на автотранспортном предприятии : рекомендовано методсоветом ВУЗа / А. С. Рыжова, П. П. Володькин, 2017. - 139 с. - Текст : непосредственный.Зимин А.С. Логистика: транспортный аспект реализации : рекомендовано методсоветом ВУЗа / А. С. Зимин, М. М. Третьяков, 2017. - 229 с. - Текст : непосредственный.Быковский В.А. Арифметические средние и L-ряды автоморфных форм / В. А. Быковский, 2017. - 66, [1] с. - Текст : непосредственный.Володькин П.П. Пассажирские автомобильные перевозки : учебное пособие / П. П. Володькин, В. В. Ланских, А. С. Рыжова, 2018. - 105 с. - Текст : непосредственный.Современные аспекты развития туризма / В. А. Чернов, О. М. Затесова, М. В. Клиценко [и др.], 2017. - 180 с. - Текст : непосредственный.Соловьев С.В. Методы оптимизации. Примеры и задачи : учебное пособие / С. В. Соловьев, 2017. - 162, [1] с. - Текст : непосредственный.Дмитриенко Л.В. Эскизирование. Сборочный чертёж : учебное пособие / Л. В. Дмитриенко ; Ред. Е. Н. Шуранова, 2017. - 120, [1] с. - Текст : непосредственный.Управление структурой и свойствами литейных оловянных бронз специального назначения : монография / Э. Х. Ри, Э. А. Дмитриев, В. В. Гостищев, Ри Хосен, 2018. - 349 с. - Текст : непосредственный.Современные проблемы экономического развития предприятий, отраслей, комплексов, территорий : материалы Международной научно-практической конференции (Хабаровск, 27 апреля 2018 г.) : в двух томах / Министерство образования и науки Российской Федерации, Тихоокеанский государственный университет. Т. 2, 2018. - 315 с. - Текст : непосредственный.Современные проблемы экономического развития предприятий, отраслей, комплексов, территорий : материалы Международной научно-практической конференции (Хабаровск, 27 апреля 2018 г.) : в двух томах / Министерство образования и науки Российской Федерации, Тихоокеанский государственный университет. Т. 1, 2018. - 363 с. - Текст : непосредственный.Черненко-Фролова Е.В. Корпоративные финансы : учебное пособие / Е. В. Черненко-Фролова, 2018. - 117, [1] с. - Текст : непосредственный.
Показать все результатыГордеев А.А. Анализ цифровых приборных и следящих систем на фазовой плоскости / А. А. Гордеев, Л. В. Симонова, 1993. - 47 с. - Текст : непосредственный.Кутузов В.К. Энергетический расчет следящего привода : методический материал / В. К. Кутузов, В. А. Полянин, 1993. - 35 c. - Текст : непосредственный.Полтавец Г.А. Методологические основы теории управления в сложных системах / Г. А. Полтавец, 1990. - 52 с. - Текст : непосредственный.Новицкий В.В. Декомпозиция линейных управляемых систем / В. В. Новицкий, 1990. - 27 с. - Текст : непосредственный.Новицкий В.В. Декомпозиция и модальное управление в линейных системах / В. В. Новицкий, 1990. - 27 с. - Текст : непосредственный.Емельянов С.В. Теория управления / С. В. Емельянов, С. К. Коровин, В. И. Сизиков, 1990. - 93 с. - Текст : непосредственный.Сидоров В.П. Математические модели "вход - состояние - выход" в задачах теории автоматического управления / В. П. Сидоров, 1990. - 65 c. - Текст : непосредственный.Шевченко Г.В. Алгоритмы решения некоторых задач оптимального управления для линейных систем / Г. В. Шевченко, 1990. - 28 с. - Текст : непосредственный.Кирин Н.Е. Методы оценивания и управления в динамических системах / Н. Е. Кирин, 1993. - 307 c. - Текст : непосредственный.Розенвассер Е.Н. Линейная теория цифрового управления в непрерывном времени / Е. Н. Розенвассер, 1994. - 464 c. - Текст : непосредственный.Четвериков В.Н. Разработка методов анализа и синтеза нелинейных динамических систем на основе дифференциально-геометрической теории бесконечномерных многообразий : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени д-ра физ.-мат. наук / В. Н. Четвериков, 2006. - 28 с. - Текст : непосредственный.Ротач В.Я. Теория автоматического управления : учебное пособие / В. Я. Ротач, 2007. - 399 с. - Текст : непосредственный.Новикова Н.А. Учебное пособие по курсу "Математические основы теории автоматического управления" / Н. А. Новикова, 2007. - 107 с. - Текст : непосредственный.Коробова И.Л. Теория автоматического управления : выставочные материалы / И. Л. Коробова, 2011. - 170 с. - Текст : непосредственный.Рябов А.В. Робастная стабилизация линейных дискретных систем со статической обратной связью по выходу / А. В. Рябов, 2007. - 16 с. - Текст : непосредственный.Козлов В.Н. Теория автоматического управления : учебное пособие / В. Н. Козлов, В. Е. Куприянов, В. Н. Шашихин, 2008. - 126 с. - Текст : непосредственный.Афанасьев В.В. Нелинейные системы с динамическим хаосом и порождаемые ими сигналы / В. В. Афанасьев, С. С. Логинов, Ю. Е. Польский, 2005. - 120 с. - Текст : непосредственный.Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный.Кузенков О.А. Оптимальное управление линейными распределенными системами: управления и теплопроводности / О. А. Кузенков, В. М. Шашков, 1996. - 91 с. - Текст : непосредственный.Агафонов Е.Д. Математическое моделирование линейных динамических систем : учебное пособие / Е. Д. Агафонов, О. В. Шестернева, 2011. - 94 с. - Текст : непосредственный.
Показать все результатыГорбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 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. - Текст : непосредственный.Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный.Богомолов А.М. Эксперименты с автоматами, 1973. - 144 с. - Текст : непосредственный.Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный.Автоматы и разумное поведение. Опыт моделирования, 1973. - 375 с. - Текст : непосредственный.Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный.Плоткин Б.И. Элементы алгебраической теории автоматов / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 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 с. - Текст : непосредственный.Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 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 с. - Текст : непосредственный.Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный.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 с. - Текст : непосредственный.Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный.Зузанова М.Р. Некоторые алгоритмы эквивалентного преобразования недетерминированных конечных автоматов / М. Р. Зузанова, 2010. - 21 с. - Текст : непосредственный.Автоматы и разумное поведение. Опыт моделирования, 1973. - 375 с. - Текст : непосредственный.Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный.Плоткин Б.И. Элементы алгебраической теории автоматов / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный.Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный.Орлов В.А. Об особенностях асимптотического поведения сложности реализации K-значных и автоматных функций схемами в произвольном конечном базисе : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / В. А. Орлов, 1999. - 28 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽