Приложение
для AndroidПолное описание
| ГРНТИ | УДК | |
| 28.15 | 519.713 | |
| 16.31.31 | 510.567 |
Рубрики:
Автоматов теория
Формальные языки
Кл.слова (ненормированные): КС-ЯЗЫКИ -- АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ -- ГРАММАТИКИ -- КОНЕЧНЫЕ АВТОМАТЫ -- РЕГУЛЯРНЫЕ ЯЗЫКИ -- СВОЙСТВА -- ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ
Аннотация: Учебник содержит материал по дисциплине "Теория автоматов и формальных языков": языки, операции над языками, порождающие грамматики, конечные автоматы, регулярные выражения, автоматы с магазинной памятью, нормальные формы контекстно-свободных грамматик, алгоритмические проблемы для формальных языков. Учебник адресован, прежде всего, студентам старших курсов, обучающимся по направлениям укрупнённых групп 01.00.00 "Математика и механика", 02.00.00 "Компьютерные и информационные науки", 09.00.00 "Информатика и вычислительная техника".
Доп. точки доступа:
Тверской государственный университет
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-25/39248)
Шифр в сводном ЭК: 6b7434064c845727349cb8395bbc5ca2
Сорокина М.М. Теория автоматов и формальных языков : учебник / М. М. Сорокина, А. Б. Еловиков, 2012. - 153 с. - Текст : непосредственный.Осипов А.Л. Теория автоматов и формальных языков : лаб. практикум / А. Л. Осипов, 2014. - 80 с. - Текст : непосредственный.Хан, Сун Э. Теория автоматов и формальных языков : учебное пособие / С. Хан, М. В. Червякова, 2021. - 89 с. - Текст (визуальный) : непосредственный.Карлов, Борис Николаевич. Теория автоматов и формальных языков : учебник / Б. Н. Карлов, 2025. - 412 с. - Текст (визуальный) : непосредственный.
Нечеткие системы и мягкие вычисления : науч. журн. Рос. ассоциации нечетких систем и мягких вычислений. - Журнал выходит с 2006г. - Текст : непосредственный.Физико-химические аспекты изучения кластеров, наноструктур и наноматериалов : межвузовский сборник научных трудов. Вып. 9, 2017. - 591 с. - Текст : непосредственный.Прикладные аспекты геологии, геофизики и геоэкологии с использованием современных информационных технологий : материалы IV Международной научно-практической конференции, Майкоп, 15-18 мая 2017 г. / Тверской государственный университет [и др.]. Ч. 2, 2017. - 253 с. - Текст : непосредственный.Прикладные аспекты геологии, геофизики и геоэкологии с использованием современных информационных технологий : материалы IV Международной научно-практической конференции, Майкоп, 15-18 мая 2017 г. / Тверской государственный университет [и др.]. Ч. 1, 2017. - 257 с. - Текст : непосредственный.Сдобняков Н.Ю. Изучение термодинамических и структурных характеристик наночастиц металлов в процессах плавления и кристаллизации: теория и компьютерное моделирование : монография / Н. Ю. Сдобняков, Д. Н. Соколов, 2018. - 175 с. - Текст : непосредственный.Сдобняков Н.Ю. Морфологические характеристики и фрактальный анализ металлических пленок на диэлектрических поверхностях : монография / Н. Ю. Сдобняков, А. С. Антонов, Д. В. Иванов, 2019. - 167 с. - Текст : непосредственный.Вестник Тверского государственного университета. Серия: Химия : научный журнал. - Журнал выходит с 2003г. - Текст : непосредственный.Вестник Тверского государственного университета. Серия: География и геоэкология : научный журнал. - Журнал выходит с 2004г. - Текст : непосредственный.Вестник Тверского государственного университета : научный журнал. , Серия: Экономика и управление / Тверской государственный университет. - Журнал выходит с 2004г. - Текст : непосредственный.Мальцева А.А. Роль интеллектуального капитала университетов в региональном развитии: научно-теоретический и эмпирический анализ : монография / А. А. Мальцева, И. Н. Веселов, 2019. - 207 с. - Текст : непосредственный.Тороян Р.А. Пространственно-временные закономерности распределения тяжёлых металлов в донных отложения: на примере реки Белая Северо-Западного Кавказа / Р. А. Тороян, И. П. Тax . - Текст : непосредственный // Прикладные аспекты геологии, геофизики и геоэкологии с использованием современных информационных технологий : материалы IV Международной научно-практической конференции, Майкоп, 15-18 мая 2017 г. / Тверской государственный университет [и др.]. - Майкоп : МГТУ, 2017. - Ч. 2. - с. 195-202Ахсалба А.К. Индикаторы климатических изменений в приморской зоне Абхазии / А. К. Ахсалба, Я. А. Экба. - Текст : непосредственный // Прикладные аспекты геологии, геофизики и геоэкологии с использованием современных информационных технологий : материалы IV Международной научно-практической конференции, Майкоп, 15-18 мая 2017 г. / Тверской государственный университет [и др.]. - Майкоп : МГТУ, 2017. - Ч. 1. - с. 82-88Режим атмосферных осадков и степень их химического загрязнения в приморской зоне Абхазии / А. К. Ахсалба [и др.]. - Текст : непосредственный // Прикладные аспекты геологии, геофизики и геоэкологии с использованием современных информационных технологий : материалы IV Международной научно-практической конференции, Майкоп, 15-18 мая 2017 г. / Тверской государственный университет [и др.]. - Майкоп : МГТУ, 2017. - Ч. 1. - с. 89-97Гицба Я.В. Особенности распределения загрязнённых веществ в устьевых створах рек Абхазии / Я. В. Гицба, Я. А. Экба. - Текст : непосредственный // Прикладные аспекты геологии, геофизики и геоэкологии с использованием современных информационных технологий : материалы IV Международной научно-практической конференции, Майкоп, 15-18 мая 2017 г. / Тверской государственный университет [и др.]. - Майкоп : МГТУ, 2017. - Ч. 1. - с. 187-195Денченкова Е.В. О процессе формирования экологического каркаса Смоленской области / Е. В. Денченкова . - Текст : непосредственный // Прикладные аспекты геологии, геофизики и геоэкологии с использованием современных информационных технологий : материалы IV Международной научно-практической конференции, Майкоп, 15-18 мая 2017 г. / Тверской государственный университет [и др.]. - Майкоп : МГТУ, 2017. - Ч. 1. - с. 200-205Перспективы применения нанокомпозитов на основе никель-цинкового феррита для очистки сточных вод / Г. В. Киреева [и др.]. - Текст : непосредственный // Прикладные аспекты геологии, геофизики и геоэкологии с использованием современных информационных технологий : материалы IV Международной научно-практической конференции, Майкоп, 15-18 мая 2017 г. / Тверской государственный университет [и др.]. - Майкоп : МГТУ, 2017. - Ч. 1. - с. 234-235.Козловская Ю.В. Определение шумового загрязнения АО «РСК «МИГ» в г. Калязин / Ю. В. Козловская, В. В. Лебедев. - Текст : непосредственный // Прикладные аспекты геологии, геофизики и геоэкологии с использованием современных информационных технологий : материалы IV Международной научно-практической конференции, Майкоп, 15-18 мая 2017 г. / Тверской государственный университет [и др.]. - Майкоп : МГТУ, 2017. - Ч. 1. - с. 235-242Косымбетова А.Б. Экологические проблемы водоснабжения и состояние здоровья населения Республики Каракалпакстан / А. Б. Косымбетова, Н. Д. Орынгалиева, Р. П. Ниетуллаева . - Текст : непосредственный // Прикладные аспекты геологии, геофизики и геоэкологии с использованием современных информационных технологий : материалы IV Международной научно-практической конференции, Майкоп, 15-18 мая 2017 г. / Тверской государственный университет [и др.]. - Майкоп : МГТУ, 2017. - Ч. 2. - с. 7-10Курбатова И.Е. Оценка антропогенной нагрузки на природные комплексы дельты Волги - геоинформационный подход / И. Е. Курбатова. - Текст : непосредственный // Прикладные аспекты геологии, геофизики и геоэкологии с использованием современных информационных технологий : материалы IV Международной научно-практической конференции, Майкоп, 15-18 мая 2017 г. / Тверской государственный университет [и др.]. - Майкоп : МГТУ, 2017. - Ч. 2. - с. 19-29Перспективы производства функциональных наноматериалов посредством утилизации электрохимических элементов питания / В. Ю. Скуднев [и др.]. - Текст : непосредственный // Прикладные аспекты геологии, геофизики и геоэкологии с использованием современных информационных технологий : материалы IV Международной научно-практической конференции, Майкоп, 15-18 мая 2017 г. / Тверской государственный университет [и др.]. - Майкоп : МГТУ, 2017. - Ч. 2. - с. 148-149.
Показать все результатыГордеев А.А. Анализ цифровых приборных и следящих систем на фазовой плоскости / А. А. Гордеев, Л. В. Симонова, 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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽