Приложение
для AndroidПолное описание
51/Ф 321
Феденко, Алексей Алексеевич. Формальные языки и автоматы: синтез автоматов Мили и Мура : учебное пособие / А. А. Феденко, В. Н. Трофименко, Г. С. Мизюков ; РОСЖЕЛДОР, Ростовский государственный университет путей сообщения (РГУПС). - Ростов-на-Дону : РГУПС, 2023. - 83 с. : ил. - (ФГОС ВО). - Библиогр.: с. 74 (13 назв.). - 500 экз. - ISBN 978-5-907494-84-8 : 150 р. - Текст (визуальный) : непосредственный.
| ГРНТИ | УДК | |
| 16.31.31 | 510.567 | |
| 28.25 | 519.713 |
Рубрики:
Формальные языки
Автоматов теория
Дискретные автоматы -- Анализ и синтез
Кл.слова (ненормированные): цифровые автоматы -- языки описания -- алгоритмы -- приложения -- синтез -- файлы -- конечные автоматы -- логические функции -- компиляция
Аннотация: Рассмотрены основы теории автоматов, языки описания дискретных автоматов. Приведены алгоритмы синтеза дискретных автоматов. Представлены примеры синтеза автоматов Мили и Мура. Содержатся варианты заданий для самостоятельной работы. Для студентов и магистрантов направлений 09.03.01 "Информатика и вычислительная техника", 09.03.02 "Информационные системы и технологии", 09.04.01 "Информатика и вычислительная техника". Одобрено к изданию кафедрой "Вычислительная техника и автоматизированные системы управления".
Доп. точки доступа:
Трофименко, Владимир Николаевич
Мизюков, Григорий Сергеевич
Ростовский государственный университет путей сообщения (Ростов-на-Дону)
Имеются экземпляры в отделах: всего 3 : ХРЦ (2), ФО18 (1)
Свободны: ХРЦ (2), ФО18 (1)
Обложка
Мизюков, Григорий Сергеевич. Методы и алгоритмы семантической структуризации текстовой информации на основе логико-онтологических преобразований : специальность 05.25.05 - "Информационные системы и процессы" : автореферат диссертации на соискание ученой степени кандидата технических наук / Мизюков Григорий Сергеевич, 2021. - 30 с. - Текст : непосредственный.Феденко, Алексей Алексеевич. Автоматизированное проектирование устойчивых к ошибкам глубоких нейронных сетей / А. А. Феденко, М. И. Мялова, А. А. Шутенко. - Текст : непосредственный // Сборник научных трудов "Транспорт: наука, образование, производство" : ("Транспорт-2021") : [труды Международной научно-практической конференции] / Министерство транспорта Российской Федерации, Федеральное агентство железнодорожного транспорта, Ростовский государственный университет путей сообщения [и др.]. - Ростов-на-Дону : Ростовский гос. ун-т путей сообщения, 2021. - Т. 1 : Технические науки. - с. 194-197Разработка фондов оценочных средств в условиях цифровой трансформации высшего образования : учебное пособие / М. С. Тимофеева, Г. С. Мизюков, В. Н. Семенов [и др.] ; под редакцией М. С. Тимофеевой, 2022. - 93 с. - Текст (визуальный) : непосредственный.Феденко, Алексей Алексеевич. Формальные языки и автоматы: синтез автоматов Мили и Мура : учебное пособие / А. А. Феденко, В. Н. Трофименко, Г. С. Мизюков, 2023. - 83 с. - Текст (визуальный) : непосредственный.
Рудиков Д.А. Основы безопасности труда : учебное пособие / Д. А. Рудиков, 2019. - 79, [1] с. - Текст : непосредственный.Рудиков Д.А. Безопасность в туризме и охрана труда : учебное пособие / Д. А. Рудиков, 2019. - 86 с. - Текст : непосредственный.Ильичева В.В. Теоретические основы информатики : учебное пособие / В. В. Ильичева, С. А. Гуда, 2019. - 131 с. - Текст : непосредственный.Гуда С.А. Стандартизация и сертификация программного обеспечения : учебное пособие / С. А. Гуда, Н. М. Нечитайло, 2019. - 81 с. - Текст : непосредственный.Ростов-на-Дону (ФГБОУ ВО РГУПС) ; под редакцией В. Г. Рубана : учебное пособие : [в 4 ч.] / Росжелдор, Ростовский государственный университет путей сообщения. Ч. 1 / И. В. Волков, В. Г. Рубан, А. М. Лященко, 2019. - 149 с. - Текст : непосредственный.Ростов-на-Дону (ФГБОУ ВО РГУПС) ; под редакцией В. Г. Рубана : учебное пособие : [в 4 ч.] / Росжелдор, Ростовский государственный университет путей сообщения. Ч. 3 / П. В. Губарев, П. А. Коропец, А. М. Лященко, А. А. Резниченко, 2019. - 252 с. - Текст : непосредственный.Чубейко С.В. Методы и средства проектирования баз данных : учебное пособие / С. В. Чубейко, 2019. - 78 с. - Текст : непосредственный.Гребенников Н.В. Методология проектирования перспективного подвижного состава : учебное пособие / Н. В. Гребенников, А. А. Андрющенко, 2019. - 134 с. - Текст : непосредственный.Чеботарева Е.А. Информационные и инновационные технологии на магистральном транспорте и в пассажирском комплексе : учебное пособие / Е. А. Чеботарева, И. А. Солоп, 2019. - 129. с. - Текст : непосредственный.Панасов В.Л. Автоматизация разработки программного обеспечения для WEB : учебное пособие / В. Л. Панасов, А. М. Лященко, 2019. - 90 с. - Текст : непосредственный.Напханенко И.П. Правовое обеспечение транспортной безопасности : учебное пособие / И. П. Напханенко, А. В. Фёдоров, Е. Г. Донченко, 2019. - 79 с. - Текст : непосредственный.Обеспечение безопасности и охрана труда в индустрии гостеприимства : учебное пособие / Т. А. Финоченко, И. Г. Переверзев, Д. А. Рудиков [и др.] ; под общей редакцией А. Г. Хвостикова, 2019. - 291 с. - Текст : непосредственный.Дергачева И.В. Цифровые технологии. Анализ больших данных : учебное пособие / И. В. Дергачева, А. С. Сарьян, 2019. - 114 с. - Текст : непосредственный.Шевчук П.С. Защита информации : учебное пособие / П. С. Шевчук, В. В. Доманский, 2019. - 82 с. - Текст : непосредственный.Соломин В.А. Надежность электрических машин и аппаратов : учебное пособие / В. А. Соломин, Л. Л. Замшина, 2019. - 67, [1] с. - Текст : непосредственный.Безопасность жизнедеятельности : учебное пособие / И. Г. Переверзев, Т. А. Финоченко, И. А. Яицков [и др.], 2019. - 306 с. - Текст : непосредственный.Новакович В.И. Математическое моделирование систем и процессов : учебное пособие / В. И. Новакович, Е. В. Корниенко, 2019. - 59, [1] с. - Текст : непосредственный.Финоченко В.А. Инженерная экология : учебное пособие / В. А. Финоченко, Г. Н. Соколова, Т. А. Финоченко ; под редакцией В. А. Финоченко, 2019. - 163 с. - Текст : непосредственный.Февралева В.А. Физико-химические основы перевозки грузов : учебное пособие / В. А. Февралева, В. Н. Доронькин, Д. Н. Шишияну, 2019. - 67 с. - Текст : непосредственный.Учебно-методический комплекс специальности "Подвижной состав железных дорог" : учебное пособие : [в 4 ч.] / Росжелдор, Ростовский государственный университет путей сообщения. Ч. 4 / Н. Р. Тептиков, Д. В. Глазунов, А. А. Резниченко [и др.], 2019. - 95 с. - Текст : непосредственный.
Показать все результатыВестник Ростовского государственного университета путей сообщения. N 2(2001), 2001. - 172 с. - Текст : непосредственный.Вестник Ростовского государственного университета путей сообщения. N 2(2002), 2002. - 166 с. - Текст : непосредственный.Вестник Ростовского государственного университета путей сообщения. № 1(2005), 2005. - 117 с. - Текст : непосредственный.Вестник Ростовского государственного университета путей сообщения : научно-технический журнал. № 3(67), 2017. - 189 с.Кубасов, А. Ю. Строительные конструкции : учебное пособие : [в 3 ч.]. Ч. 1 : Конструкции из дерева и пластмасс, 2017. - 191 с.Кравец А.С. Компьютерный практикум по организации и управлению на железнодорожном транспорте : учебное пособие / А. С. Кравец, Е. А. Чеботарева, А. Г. Кулькин, 2017. - 78 с. - Текст : непосредственный.Петрушин А.Д. Приборы безопасности электрического подвижного состава : учебное пособие / А. Д. Петрушин, М. В. Чавычалов, 2016. - 67 с.Тимофеева М.С. Методические материалы, определяющие процедуру оценивания знаний, умений и навыков, характеризующих этапы формирования компетенций : учебно-методическое пособие / М. С. Тимофеева, 2017. - 59 с.Мищенко Е.Н. Направляющие среды электросвязи : учебное пособие / Е. Н. Мищенко, 2016. - 111 с.Хвостиков А.Г. Профессиональные информационные системы по обеспечению безопасности в техносфере : учебное пособие / А. Г. Хвостиков, И. Г. Переверзев, 2017. - 95 с.Игнатьева О.В. Информационно-поисковые и аналитические системы / О. В. Игнатьева, С. А. Кулькин, 2017. - 149 с.Алексаньян И.М. Физикохимия топливосмазочных материалов : учебное пособие / И. М. Алексаньян, А. Н. Чукарин, 2016. - 71 с. - Текст : непосредственный.Алексаньян И.М. Основы технологии производства машин : учебное пособие / И. М. Алексаньян, И. А. Нахимович, 2016. - 87 с. - Текст : непосредственный.Маколова Л.В. Управление проектами в логистике : учебное пособие / Л. В. Маколова, 2017. - 100 с.Глазунов Д.В. Профессиональные информационные системы : учебное пособие / Д. В. Глазунов, Г. С. Мизюков, 2017. - 69 с. - Текст : непосредственный.Информационное обеспечение грузовых перевозок : учебное пособие / О. Н. Числов [и др.], 2017. - 74 с. - Текст : непосредственный.Новакович В.И. Прикладные задачи расчета железнодорожного пути и искусственных сооружений : учебное пособие / В. И. Новакович, В. В. Карпачевский, Е. В. Корниенко, 2017. - 82 с.Добрынин Н.Ф. Математическая обработка геодезических измерений : учебное пособие / Н. Ф. Добрынин, М. С. Плешко, 2017. - 71 с. - Текст : непосредственный.Алексаньян И.М. Основы теории надёжности : учебно-методическое пособие / И. М. Алексаньян, И. А. Нахимович, 2017. - 116 с.Кубасов, А. Ю. Строительные конструкции : учебное пособие : [в 3 ч.]. Ч. 3 : Железобетонные конструкции, 2017. - 98 с.
Показать все результатыСветло-темная структура интерференционных линий Косселя и анализ кристаллической структуры /II/ / ТПП УССР. - 37 c. - Текст : непосредственный.Луканова Р.П. Ситуационно-семантический анализ естественного языка : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Р. П. Луканова, 1991. - 19 с. - Текст : непосредственный.Иванова Е.А. Синтез корректных алгоритмов типа вычисления оценок : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / Е. А. Иванова, 1991. - 15 с. - Текст : непосредственный.Кожевникова Г.П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова, 1991. - 33 с. - Текст : непосредственный.Куракин А.Л. Методы вероятностного расчета быстродействия апериодических автоматов и их приложения к повышению эффективности обработки экспериментальных данных.Решающие системы,океанологический мониторинг : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.04.01 / А. Л. Куракин, 1992. - 37 с. - Текст : непосредственный.Кабаве М.А. Конечно-автоматные методы преобразования и оптимизации нечетких языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. А. Кабаве, 1993. - 16 с. - Текст : непосредственный.Аль Ясин Д.А. Волновые процесcы взаимодействия звеньев однородных клеточных цепей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Д. А. Аль Ясин, 1993. - 15 с. - Текст : непосредственный.Семенова С.Ю. Исследование языковых средств выражения параметрической информации и алгоритмизация ее поиска в тексте : Автореферат диссертации на соискание ученой степени канд.филос.наук:05.13.17 / С. Ю. Семенова, 1994. - 24 с. - Текст : непосредственный.Соловьев В.Д. Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17 / В. Д. Соловьев, 1995. - 23 с. - Текст : непосредственный.Мох'д Гассан Изеддин Абаза.Модели и методы поиска оптимальных программных реализаций простых зацикленных алгоритмов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Мох'д Гассан Изеддин Абаза, 1995. - 15 с. - Текст : непосредственный.Адамацкий А.И. Идентификация клеточных автоматов: теория и приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / А. И. Адамацкий, 1996. - 19 с. - Текст : непосредственный.Осетрова Т.А. Алгоритмы исключения неизвестных, основанные на теории многомерных вычетов, и их компьютерная реализация : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.07 / Т. А. Осетрова, 1996. - 13 с. - Текст : непосредственный.Евневич Е.Л. Автоматизация выбора и синтеза комбинированных алгоритмов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Е. Л. Евневич, 1996. - 14 с. - Текст : непосредственный.Демидов А.В. Автоволновые процессы в однородных клеточных средах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Демидов, 1996. - 15 с. - Текст : непосредственный.Карасева Л.Э. Теоремы существования статических алгоритмов группового тестирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.07 / Л. Э. Карасева, 1997. - 15 с. - Текст : непосредственный.Бородай С.Ю. Эксперименты в эффективно заданных классах автоматов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / С. Ю. Бородай, 1997. - 21 с. - Текст : непосредственный.Курганский А.Н. Неотличимость конечных автоматов, взаимодействующих со средой : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. Н. Курганский, 1997. - 21 с. - Текст : непосредственный.Кац М.М. Упорядоченные автоматы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. М. Кац, 1997. - 16 с. - Текст : непосредственный.Мельников Б.Ф. Применение свойств специальных моноидов в теории формальных языков : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.11 / Б. Ф. Мельников, 1997. - 31 с. - Текст : непосредственный.Невзорова О.А. Формальная модель реконструкции морфологических категорий естественного языка на основе текстов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.17 / О. А. Невзорова, 1997. - 19 с. - Текст : непосредственный.
Показать все результатыПлоткин Б.И. Элементы алгебраической теории автоматов : Учеб.пособие для студентов вузов по направлению "Прикл.математика и информатика" / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный.Reinhardt K. Prioritatszahlerautomaten und die Synchronisation von Halbspursprachen : Diss. / K.Reinhardt, 1994. - 77 S. - Текст : непосредственный.Теория автоматов : Тр.семинара / Институт кибернетики (Киев). Вып. 5, 1969. - 111 с. - Текст : непосредственный.Мелихов А.Н. Теория алгоритмов и формальных языков : Учеб. пособие / А.Н.Мелихов,В.И.Кодачигов, 1983. - 69 л. - Текст : непосредственный.Галиев Ш.И. Теория формальных языков : Учеб.пособие / Ш.И.Галиев,Л.Ю.Емалетдинова, 1994. - 100 c. - Текст : непосредственный.Левин В.И. Теория автоматов и моделирование сложных систем : Учеб.пособие / В.И.Левин, 1995. - 84 c. - Текст : непосредственный.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. - Текст : непосредственный.Jacobs B.P.F. Automata and behaviours in categories of processes / B.P.F.Jacobs, 1996. - 14 p. - Текст : непосредственный.Petersen H. Entscheidbarkeitsfragen und Hierarchieresultate fur Mehrkopfautomaten und verwandte Berechenbarkeitsmodelle : Diss. / H.Petersen, 1996. - 86 S. - Текст : непосредственный.Левин В.И. Теория динамических автоматов / В.И.Левин, 1995. - 407 c. - Текст : непосредственный.Тьюринг А. Может ли машина мыслить. Общая и логическая теория автоматов ; / Д.фон Нейман ; Пер. с англ. Ю.А.Данилова; Ред. и предисл. С.А.Яновской, 1960. - 112 с. - Текст : непосредственный.Крючкова Е.Н. Теория формальных языков и автоматов : Учеб. пособие по курсу "Теория вычисл. процессов и структур" (для подгот. специалистов по направлению "Информатика и вычисл. техника") / Е.Н.Крючкова, 1996. - 82 с. - Текст : непосредственный.Покалев С.С. Формальные языки и моделирование : Конспект лекций / С. С. Покалев, Л. В. Желтова, В. П. Желтов, 1996. - 122 с. - Текст : непосредственный.Фесенко В.И. Элементы теории алгоритмов и абстрактных автоматов : Учеб. пособие / В.И.Фесенко,В.М.Шабашов, 1985. - 96 с. - Текст : непосредственный.Деундяк В.М. Элементы теории формальных языков : Учеб.пособие / В.М.Деундяк, 1997. - 68 с. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А.А.Шалыто, 1998. - 626 с. - Текст : непосредственный.Рощин, А. Г. Теория автоматов : Тексты лекций. Ч. 1, 1998. - 76 с. - Текст : непосредственный.Rutten J.J. Automata and coinduction (an exercise in coalgebra) / J.J.Rutten, 1998. - 22 p. - Текст : непосредственный.Данилин Г.Г. Учебное пособие по курсу Теоретические основы ЦВМ. Перестраиваемые автоматы и многопроцессорные системы / Г.Г.Данилин;Ред.Ю.М.Щеглов, 1991. - 79 с. - Текст : непосредственный.
Показать все результатыКанеп Я.Я. Представимость языков в двусторонних конечных вероятностных автоматах : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Я. Я. Канеп, 1991. - 14 с. - Текст : непосредственный.Куракин А.Л. Методы вероятностного расчета быстродействия апериодических автоматов и их приложения к повышению эффективности обработки экспериментальных данных.Решающие системы,океанологический мониторинг : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.04.01 / А. Л. Куракин, 1992. - 37 с. - Текст : непосредственный.Сытник А.А. Методы и модели функционального восстановления поведения дискретных систем с памятью : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / А. А. Сытник, 1993. - 31 с. - Текст : непосредственный.Кабаве М.А. Конечно-автоматные методы преобразования и оптимизации нечетких языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. А. Кабаве, 1993. - 16 с. - Текст : непосредственный.Кальянов Л.В. Устойчивость поведения автоматов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Л. В. Кальянов, 1993. - 22 с. - Текст : непосредственный.Аль Ясин Д.А. Волновые процесcы взаимодействия звеньев однородных клеточных цепей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Д. А. Аль Ясин, 1993. - 15 с. - Текст : непосредственный.Липский В.Б. Разработка и реализация алгоритмов логического проектирования управляющих автоматов, устойчивых к состязаниям : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / В. Б. Липский, 1994. - 16 с. - Текст : непосредственный.Агибалов Г.П. Дискретные автоматы на полурешетках : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / Г. П. Агибалов, 1993. - 40 с. - Текст : непосредственный.Ключников А.В. О синтезе автоматов по конечным фрагментам их поведения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Ключников, 1993. - 9 с. - Текст : непосредственный.Аблаев Ф.М. Коммуникационная сложность вероятностных вычислений и некоторые ее приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / Ф. М. Аблаев, 1994. - 18 с. - Текст : непосредственный.Чирков М.К. Проблемы и методики теории обобщенных математических моделей конечно-автоматного типа : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.18 / М. К. Чирков, 1994. - 65 с. - Текст : непосредственный.Грунская В.И. О некоторых свойствах траекторий автоматов в лабиринтах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. И. Грунская, 1995. - 18 с. - Текст : непосредственный.Адамацкий А.И. Идентификация клеточных автоматов: теория и приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / А. И. Адамацкий, 1996. - 19 с. - Текст : непосредственный.Демидов А.В. Автоволновые процессы в однородных клеточных средах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Демидов, 1996. - 15 с. - Текст : непосредственный.Думов А.С. О росте конфигураций в однородных структурах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. С. Думов, 1997. - 13 с. - Текст : непосредственный.Бородай С.Ю. Эксперименты в эффективно заданных классах автоматов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / С. Ю. Бородай, 1997. - 21 с. - Текст : непосредственный.Курганский А.Н. Неотличимость конечных автоматов, взаимодействующих со средой : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. Н. Курганский, 1997. - 21 с. - Текст : непосредственный.Кац М.М. Упорядоченные автоматы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. М. Кац, 1997. - 16 с. - Текст : непосредственный.Мещерякова О.В. Методы синтеза и анализа некоторых классов автоматов-перечислителей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / О. В. Мещерякова, 1998. - 17 с. - Текст : непосредственный.Макаров В.В. О порождающих системах групп автоматных перестановок : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / В. В. Макаров, 1998. - 8 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽