?
A Linear-Time Simulation of Deterministic d-Limited Automata
P. 342–354.
Рубцов А. А.
В книге
Switzerland: Springer International Publishing, 2021.
Мещеряков М. В., Сухарев Л. А., Саранск: Изд-во Мордовского университета, 2018.
Книга является вводным курсом по теории формальных языков и конечных автоматов. В ней представлен основной материал дициплины, относящийся к математическим основам ряда синтаксических методов инорматики и программирования. Книга предназначена для студентов бакалавриата по направлениям подготовки: фундаментальная информатика и информационные технологии, прикладная математика и информатика, программная инженерия ...
Добавлено: 12 октября 2023 г.
Switzerland: Springer International Publishing, 2021.
Добавлено: 28 сентября 2021 г.
Пионтковский Д. И., La Scala R., Springer INdAM Series 2021 Vol. 44 P. 279–289
Добавлено: 3 апреля 2021 г.
La Scala R., Пионтковский Д. И., Tiwari S., , in: КОМПЬЮТЕРНАЯ АЛГЕБРА. Материалы Международной конференции. Москва, 17-21 июня 2019 г.: M.: RUDN, 2019. P. 47–54.
Добавлено: 25 декабря 2019 г.
Добавлено: 7 октября 2019 г.
Grigorev S., Bozhko S., Хатбуллина Л. Р., Lecture Notes in Computer Science 2019 Vol. 11541 P. 264–281
Добавлено: 20 августа 2019 г.
Вендин А. С., Успехи современной науки 2017 Т. 1 № 5 С. 81–85
В данной работе рассматривается разработка инструментального средства анализа исходного кода программ на языке Perl для визуализации алгоритма. Рассмотрена теоретическая база, с помощью которого можно подойти к реализации инструмента и анализировать исходный код программы на языке Perl. Сделан обзор существующих средств визуализации исходного кода программ, на основе которого сформулированы требования к разрабатываемому программному обеспечению. Рассмотрены средства ...
Добавлено: 11 декабря 2017 г.
Вялый М. Н., Рубцов А. А., Проблемы передачи информации 2015 Т. 51 № 4 С. 47–59
Рассматриваются задачи регулярной реализуемости, которые состоят в проверке непустоты пересечения регулярного языка на входе задачи и фиксированного языка (фильтра), который явля- ется параметром задачи. В данной работе изучается алгоритмиче- ская сложность задач регулярной реализуемости для контекстно- свободных фильтров. Эта характеристика согласована с отноше- нием рационального доминирования на КС-языках. Однако, как доказано в работе, она более ...
Добавлено: 14 февраля 2016 г.