?
Правильные скобочные автоматы
С. 62–65.
Вылиток А. А., Зубова М. А.
Рассматривается новый формализм для описания контекстно-свободных языков и его связь с классическими магазинными автоматами
Язык:
русский
Ключевые слова: конечный автомат
В книге
Каз.: Отечество, 2014.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Добавлено: 12 ноября 2023 г.
Экспериментальное исследование наличия установочных трасс заданной длины для неинициальных автоматов
Евтушенко Л. Г., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов им. Е.В. Арменского 2023.: МИЭМ НИУ ВШЭ, 2023. С. 134–136.
Конечные автоматы часто используются, как формальная модель для описания поведения дискретных систем, и в ряде случаев установочные трассы позволяют упростить/оптимизировать процесс пассивного тестирования. В данной работе приводятся результаты компьютерных экспериментов проверки наличия установочных трасс заданной длины в конечном автомате. ...
Добавлено: 3 сентября 2023 г.
Евтушенко Л. Г., Широкова Е., Лапутенко А., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов имени Е.В. Арменского. Материалы конференции.: М.: МИЭМ НИУ ВШЭ, 2021. С. 178–180.
В данной работе приводятся результаты экспериментов по использованию алгоритма решения автоматного уравнения для бинарной композиции конечных автоматов без обратных связей для оптимизации компонента, все выходные каналы которого доступны для наблюдения. Описываемый алгоритм позволяет строить сетевой эквивалент хвостового компонента композиции для сокращения затрат при аппаратной реализации композиции автоматов и повышения эффективности работы цифрового устройства. ...
Добавлено: 27 мая 2022 г.
Бабаш А. В., М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2021.
В учебном пособии рассмотрен теоретико-автоматный подход к синтезу криптографической защиты информации. Цель пособия состоит в описании методов синтеза шифрующих автоматов. Предлагаются удобные для применения в криптографической практике методы оценки числа неэквивалентных ключей шифров, построенных по классической схеме – управляющий блок и шифрующий блок. Приведен более эффективный, чем известные ранее, алгоритм нахождения областей импримитивности групп подстановок, ...
Добавлено: 25 октября 2021 г.
Бабаш А. В., М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2021.
Данное пособие содержит методический материал для инно-вационных курсов лекций по профилю «Криптографическая за-щита информации» и может быть использовано при изучении блока дисциплин этого профиля. Ряд представленных результа-тов полезен аспирантам и специалистам, специализирующимся в указанной области.
Для студентов, обучающихся по направлениям «Прикладная информатика» и «Информационная безопасность». ...
Добавлено: 23 октября 2021 г.
Твардовский А. С., Евтушенко Н. В., Труды Института системного программирования РАН 2019 Т. 31 № 4 С. 175–188
Конечно-автоматные методы широко используются при синтезе проверяющих тестов с гарантированной полнотой для дискретных систем. Поскольку поведение современных информационных и управляющих систем часто зависит от времени, классическая модель конечного автомата расширяется введением временных переменных. Более того, опциональность в спецификациях реальных систем побуждает к исследованиям в области синтеза тестов для недетерминированных автоматов. В настоящей работе мы адаптируем ...
Добавлено: 13 марта 2020 г.
Самоненко И. Ю., Интеллектуальные системы. Теория и приложения 2007 № 11 С. 787–792
Добавлено: 28 сентября 2018 г.
Самоненко И. Ю., Интеллектуальные системы. Теория и приложения 2007 № 11 С. 329–340
Добавлено: 28 сентября 2018 г.
Самоненко И. Ю., Интеллектуальные системы. Теория и приложения 2018 Т. 22 № 2 С. 113–121
Назовем гиперавтоматом конечный автомат, состояниями которого являются множества состояний некоторого конечного автомата. Гиперавтомат называется групповым, если полугруппа автомата, на базе которого он построен, является группой. В работе изучается вопрос о максимальном количестве регулярных языков, представимых в групповых гиперавтоматах. ...
Добавлено: 28 сентября 2018 г.
Твардовский А. С., Евтушенко Н. В., ББК 73я431 Н766 Редакционная коллегия выпуска 2018 С. 85–85
Тестирование на основе конечно автоматных моделей является эффективным инструментом проверки корректности программного и аппаратного обеспечения, позволяя строить проверяющие тесты с гарантированной полнотой покрытия неисправностей (ошибок). При тестировании реальных систем часто приходится учитывать, что спецификации могут быть недетерминированными. Соответственно, в общем случае, при описании реальных систем используются недетерминированные конечные автоматы, для которых проверяющие тесты строятся относительно редукции и ...
Добавлено: 11 августа 2018 г.
Вендин А. С., Успехи современной науки 2017 Т. 1 № 5 С. 81–85
В данной работе рассматривается разработка инструментального средства анализа исходного кода программ на языке Perl для визуализации алгоритма. Рассмотрена теоретическая база, с помощью которого можно подойти к реализации инструмента и анализировать исходный код программы на языке Perl. Сделан обзор существующих средств визуализации исходного кода программ, на основе которого сформулированы требования к разрабатываемому программному обеспечению. Рассмотрены средства ...
Добавлено: 11 декабря 2017 г.
Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2018.
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания ...
Добавлено: 2 декабря 2017 г.
Ravishankar V., Таерз Ф. М., Gatt A., Procedia Computer Science 2017 Vol. 117 P. 175–182
Добавлено: 10 ноября 2017 г.
Бабаш А. В., Проблемы информационной безопасности. Компьютерные системы 2015 № 4 С. 96–105
Дается верхняя оценка степени различимости связного перестановочного автомата с заданным диаметром. ...
Добавлено: 26 февраля 2017 г.
Бабаш А. В., Проблемы информационной безопасности. Компьютерные системы 2015 Т. 4 С. 96–105
Дается верхняя оценка степени различимости связного перестановочного автомата с заданным диаметром. ...
Добавлено: 10 марта 2016 г.
N. Nikitina, A. Mitsyuk, Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 219–236
Модели процессов и графы широко используются для моделирования и визуализации процессов в информационных системах. Модели используются для представления связей между объектами или событиями в рамках процесса. Следовательно, необходимы программы для создания и редактирования моделей.
Данная работа описывает редактор моделей, который позволяет работать с классическими графами, сетями Петри, конечными автоматами и системами взаимодействующих конечных автоматов. Кроме этого ...
Добавлено: 18 августа 2015 г.
Бабаш А. В., Кудияров Д. С., Системы высокой доступности 2012 Т. 8 № 2 С. 7–11
Генератор RC4 представим последовательным соединением автономного полноциклового автомата с неавтономным автоматом, состояниями последнего являются пары: подстановка степени 2n и вычет из кольца вычетов по модулю n. Доказано, что периоды последовательностей подстановок кратны числу 2n-1 и даны достаточные условия, при которых эти периоды кратны 2n. ...
Добавлено: 14 января 2014 г.
Набебин А. А., М.: Научный мир, 2010.
Излагаются основные понятия дискретной математики: модулярная арифметика и ее использование в криптографии, элементы комбинаторики, алгебра логики и логика предикатов, теория графов, конечные автоматы. ...
Добавлено: 28 мая 2012 г.
Набебин А. А., М.: Научный мир, 2009.
Пособие содержит набор индивидуальных заданий с примерами решений для студентов по курсу дискретной математики и предназначено для обеспечения самостоятельной работы студентов по освоению курса. Пособие предназначено для студентов высших учебных заведений, специализирующихся в областях прикладной математики, вычислительной техники, программирования, информатики. ...
Добавлено: 28 мая 2012 г.