Полное описание
> Федосеева, Л. И. Основы теории конечных автоматов и формальных языков : учеб. пособие / Л. И. Федосеева, Р. М. Адилов, М. Н. Шмокин. - Пенза : ПензГТУ, 2013. - 141 с. : ил. - (Система открытого образования). - Библиогр.: с. 138-139 (23 назв.). - 126 экз. - ISBN 978-5-98903-205-1. - Текст : непосредственный. В надзаг.: Пенз. гос. технол. ун-т
ГРНТИ УДК 28.25.15 519.713 16.31.31 510.567
Рубрики: Конечные автоматы
Формальные языки
Доп. точки доступа: Адилов, Р.М.
Шмокин, М.Н.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-13/9875)>
Шифр в сводном ЭК: 386b711a10157392640458867f9ccca8
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Адилов Р.М. Экономические методы регулирования производственного обслуживания сельскохозяйственных предприятий : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.05 / Р. М. Адилов, 1993. - 18 с. - Текст : непосредственный. Адилов Р.М. Системное программное обеспечение вычислительных систем : учеб. пособие / Р. М. Адилов, Е. В. Грачева, Н. Н. Короткова, 2012. - 117 с. - Текст : непосредственный. Адилов Р.М. Исследование и разработка методов анализа многоградационных растровых изображений в системах технического зрения : автореф. дис. .. канд. техн. наук: 05.13.17 / Р. М. Адилов, 2005. - 22 c. - Текст : непосредственный. Федосеева Л.И. Информационные основы цифровых автоматов : Учеб. пособие / Л.И.Федосеева, 1995. - 17 c. - Текст : непосредственный. Федосеева Л.И. Основы теории конечных автоматов и формальных языков : учеб. пособие / Л. И. Федосеева, Р. М. Адилов, М. Н. Шмокин, 2013. - 141 с. - Текст : непосредственный. Бикташев Р.А. Организация ЭВМ : учеб. пособие / Р. А. Бикташев, Н. И. Чернышев, М. Н. Шмокин, 2013. - 206 с. - Текст : непосредственный. Федосеева Л.И. Элементы теории цифровых автоматов : Учеб. пособие / Л.И.Федосеева, 2001. - 108 с. - Текст : непосредственный. Волков В.В. Управление непрерывными процессами в технических системах : учебное пособие / В. В. Волков, И. И. Коновалова, А. Д. Семенов, 2009. - 270 с. - Текст : непосредственный. Менеджмент и маркетинг. Основы менеджмента : учебное пособие / И. В. Марусева, И. Я. Савченко, В. В. Котов [и др.], 2007. - 335 с. - Текст : непосредственный. Люсев В.Н. Экономика и социология труда : учебное пособие / В. Н. Люсев, Д. В. Ефимова, Н. В. Осипова, 2007. - 186 с. - Текст : непосредственный. Прошин И.А. Исследование технических систем с использованием управляемых графических моделей в Mathcad / И. А. Прошин, Л. Ю. Акулова, В. Г. Акулов, 2007. - 202 с. - Текст : непосредственный. Голощапов В.М. Теоретическая механика : Учеб. пособие . Ч. 2 : Кинематика, 2004. - 160 с. ил. - Текст : непосредственный. Виктор Иванович Шестаков и открытие логического моделирования в технике / Б. В. Бирюков, И. С. Верстин, З. А. Кузичева [и др.], 2009. - 367 с. - Текст : непосредственный. Симанин Н.А. Гидравлические системы автоматического управления технологическими операциями в машиностроении / Н. А. Симанин, В. В. Голубовский, 2009. - 155 с. - Текст : непосредственный. Мартышкин А.И. ЭВМ и периферийные устройства : выставочные материалы / А. И. Мартышкин, 2016. - 148 с. - Текст : непосредственный. Волков В.В. Электробезопасность технологического оборудования : учеб. пособие. Кн. 2 / ред. И. А. Прошин, 2008. - 132 с. - Текст : непосредственный. Зубков А.Ф. Статистика / А. Ф. Зубков, В. Н. Деркаченко, 2006. - 196 с. - Текст : непосредственный. Колесникова С.В. Математические методы и модели исследования операций. Модели линейного программирования / С. В. Колесникова, В. Ф. Шишов, 2003. - 199 с. - Текст : непосредственный. Ореховский П.А. Контроллинг / П. А. Ореховский, 2003. - 143 с. - Текст : непосредственный. Волков В.В. Управление непрерывными процессами в технических системах / В. В. Волков, И. И. Коновалова, А. Д. Семенов, 2008. - 269 с. - Текст : непосредственный. Размерный анализ технологических процессов в автоматизированном производстве : учебное пособие / А. Г. Схиртладзе, В. А. Скрябин, В. Б. Моисеев [и др.], 2008. - 198 с. - Текст : непосредственный. Лагутова А.В. Сопротивление материалов. Расчетно-графические работы : Учеб. пособие. . Ч. 2, 2002. - 130 с. - Текст : непосредственный. Рыжаков В.В. Технологические процессы литья и сварки : Учеб.пособие для студентов вузов. Ч. 1 : Сварка: виды, особенности технологии и области рационального применения, 2002. - 193 с. - Текст : непосредственный. Рыжаков В.В. Надежность технических систем и ее прогнозирование : учеб. пособие. Ч. 1 : Надежность технических систем, 2001. - 93 с. - Текст : непосредственный. Валькова Т.А. Теоретическая механика. Статика / Т. А. Валькова, А. Г. Мартынов, К. А. Редкоус, 2004. - 157 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Пономарева А.Ю. Проблемы оптимизации обобщенных конечно-автоматных моделей с периодически меняющейся структурой : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Ю. Пономарева, 1999. - 16 с. - Текст : непосредственный. Завьялов С.В. Стеганографические методы защиты информации : выставочные материалы / С. В. Завьялов, Ю. В. Ветров, 2012. - 189 с. - Текст : непосредственный. Кучеренко И.В. Обратимые клеточные автоматы / И. В. Кучеренко, 2012. - 20 с. - Текст : непосредственный. Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный. Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный. Зузанова М.Р. Некоторые алгоритмы эквивалентного преобразования недетерминированных конечных автоматов / М. Р. Зузанова, 2010. - 21 с. - Текст : непосредственный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Алешин С.В. Алгебраические системы автоматов : выставочные материалы / С. В. Алешин, 2016. - 190 с. - Текст : непосредственный. Шакурский В.К. Сжимающие отображения в инвариантных преобразователях и системах стеганографии / В. К. Шакурский, М. В. Шакурский, 2014. - 158 с. - Текст : непосредственный. Шабунин Л.В. Регулярные языки и конечные автоматы / Л. В. Шабунин, 1996. - 37 с. - Текст : непосредственный. Зузанова М.Р. Некоторые алгоритмы эквивалентного преобразования недетерминированных конечных автоматов / М. Р. Зузанова, 2009. - 21 с. - Текст : непосредственный. Семенова С.Ю. Исследование языковых средств выражения параметрической информации и алгоритмизация ее поиска в тексте : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени канд.филос.наук / С. Ю. Семенова, 1994. - 24 с. - Текст : непосредственный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Корхов А.В. Построение вопросно-ответной системы с использованием метода математической формализации естественных языков : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Корхов, 2001. - 13 с. - Текст : непосредственный. Crespi Reghizzi R.S. Formal languages and compilation / R. S. Crespi Reghizzi, 2009 r=on-line. - Текст : электронный. Клепов А.В. Шифраторы и радиоразведка. Щит и меч информационного мира. Т. 1, 2015. - 958 с. - Текст : непосредственный. Разработка моделей криптографической защиты информации / В. Г. Шубович, В. В. Капитанчук, Н. С. Знаенко, Ю. И. Титаренко, 2013. - 127 с. - Текст : электронный. Серов А.А. Оценки распределений расстояний от случайной булевой функции до аффинных и квадратичных функций / А. А. Серов, 2011. - 15 с. - Текст : непосредственный. Rutten J.J.M.M. Nonwellfounded sets and programming language semantics / J. J.M.M. Rutten, 1990. - 17 p. - Текст : непосредственный. Показать все результаты Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный. Воронин В.В. Основы синтеза и диагностирования автоматов / В. В. Воронин, 2002. - 235 с. - Текст : непосредственный. Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Алешин С.В. Алгебраические системы автоматов : выставочные материалы / С. В. Алешин, 2016. - 190 с. - Текст : непосредственный. Шабунин Л.В. Регулярные языки и конечные автоматы / Л. В. Шабунин, 1996. - 37 с. - Текст : непосредственный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Деев Г.Е. Конспект лекций по курсу "Теория конечных автоматов." Раздел "Умножители" (спец. 01.02) / Г. Е. Деев, 1991. - 77 c. - Текст : непосредственный. Tao R. Finite automata and application to cryptography / R. Tao, 2009 r=on-line. - Текст : электронный. Подловченко Р.И. Эквивалентные преобразования в математических моделях вычислений : выставочные материалы / Р. И. Подловченко, 2011. - 72 с. - Текст : непосредственный. Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Будкин А.И. Элементы теории автоматов и формальных языков : учебное пособие / А. И. Будкин, 2019. - 78 с. - Текст : непосредственный. Показать все результаты Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 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 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽