?
Переходные явления в неразложимых стохастических КС-грамматиках
С. 74–75.
Дурандин О. В., Жильцова Л. П.
В работе исследуются переходные явления, возникающие в неразложимых стохастических КС-грамматиках. Переходные явления возникают в случае, когда перронов корень r матрицы первых моментов грамматики стремится слева к единице, т.е. происходит переход от докритического случая (r < 1) к критическому (r = 1) [1]. Для рассматриваемого случая получена асимптоти- ка условного математического ожидания M(t, τ ) числа вершин, помеченных нетерминальными символами на ярусе τ, в деревьях вывода высоты t. Опреде- лен интервал для ярусов дерева вывода, на которых величина M(t, τ ) близка к асимптотическому значению. Установлена зависимость полученных харак- теристик от величины ε = 1 − r, определяющей близость к критическому случаю.
Бабаш А. В., , in: Proceedings of the 10th International Scientific and Practical Conference named after A. I. Kitov "Information Technologies and Mathematical Methods in Economics and Management (IT&MM-2020)"/, Moscow, Russia, October 15-16, 2020Vol. 2830.: CEUR Workshop Proceedings, 2021. P. 337–359.
A trapdoor cipher is a cipher whose algorithm contains some hidden structure (a trapdoor) providing the existence of a subliminal information channel. In cryptographic practice, there could be situations when a constructed cipher may contain some critical defect (a trapdoor) whose identification can significantly weaken the cryptographic strength of this cipher. In this paper, we ...
Добавлено: 2 ноября 2021 г.
Switzerland: Springer International Publishing, 2021.
Добавлено: 28 сентября 2021 г.
Chistikov D., Mikhail Vyalyi, , in: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Saarbrücken, Germany. July, 2020.: Association for Computing Machinery (ACM), 2020. P. 312–326.
Добавлено: 4 сентября 2020 г.
Bresolin D., Tvardovskii A., Nina Yevtushenko и др., , in: IFAC-PapersOnLine (T.V.51.Вып 7).: Elsevier, 2018. P. 486–492.
Добавлено: 1 ноября 2018 г.
Рубцов А. А., В кн.: Труды X международной конференции "Дискретные модели в теории управляющих систем". Москва и Подмосковье, 23-25 мая 2018 г.: М.: МАКС Пресс, 2018. С. 234–237.
Иерархия Хомского — хорошо известная иерархия формальных языков, основанная на формальных грамматиках. Однако эта иерархия покрывает лишь четыре класса формальных языков: регулярные, контекстно-свободные, контекстно-зависимые и рекурсивно-перечислимые.
В этой работе мы обобщаем понятие формальной грамматики. ...
Добавлено: 20 октября 2018 г.
Рубцов А. А., В кн.: Сборник научных трудов МФТИ "Модели и методы обработки информации".: Долгопрудный: МФТИ, 2016. С. 67–74.
В работе исследуются комбинаторные свойства детерминированных контекстно-свободных языков. Получена новая комбинаторная лемма, схожая по типу с леммами о накачке для КС-языков, а также получены комбинаторные свойства, следующие из модифицированной известной техники, опирающейся на Колмогоровскую сложность. ...
Добавлено: 20 октября 2018 г.
Предложены алгоритмы разбора для текстовых динамически настраиваемых предметно-ориентированных языков и проверки синтаксической корректности написанных с их помощью программ. В процессе своей работы на основе описания расширенной грамматики языка анализатор строит псевдодерево разбора, которое в дальнейшем используется при проверке синтаксической корректности программ пользователя. В основе алгоритма проверки синтаксиса лежит метод леворекурсивного спуска с возвратом. ...
Добавлено: 17 октября 2018 г.
Рубцов А. А., , in: Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings.: Cham: Springer, 2018. P. 553–565.
Добавлено: 12 сентября 2018 г.
Cham: Springer, 2018.
This volume of Lecture Notes in Computer Science contains the papers presented at the 22nd International Conference on Developments in Language Theory (DLT 2018) organized by the Algorithmic “Oritatami” Self-Assembly Laboratory as part of the 100th Anniversary Commemorative Events of University of Electro-Communications (UEC) in Fuchu, Tokyo, Japan, during September 10–14, 2018.
The DLT conference series is one ...
Добавлено: 12 сентября 2018 г.
Рубцов А. А., Вялый М. Н., , in: Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, ProceedingsVol. 10846.: Springer, 2018. P. 295–307.
Добавлено: 21 июня 2018 г.
Michigan Slavic Publications, 2020.
Добавлено: 19 апреля 2018 г.
Вендин А. С., В кн.: Научные исследования: теория, методика и практика. Сборник материалов Международной научно-практической конференции. 2017.: Чебоксары: Общество с ограниченной ответственностью "Центр научного сотрудничества "Интерактив плюс", 2017. С. 281–283.
в данной работе исследователем рассмотрена теоретическая база, с помощью которой можно подойти к реализации инструмента, являющегося вспомогательным в анализе исходного кода программы на языке Perl ...
Добавлено: 12 декабря 2017 г.
Серебряков В. А., Гончар Д. Р., Рубцов А. А. и др., МФТИ, 2017.
Содержит программу, список литературы и задачи одноимённого курса, читаемого студентам факультета управления и прикладной математики МФТИ (ГУ). Задачи могут быть использованы в качестве упражнений на семинарских занятиях, заданий, экзаменационного материала, а также при самостоятельном освоениии курса. ...
Добавлено: 20 октября 2017 г.
Рубцов А. А., Вялый М. Н., , in: Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings.: Cham: Springer, 2017. P. 332–344.
Добавлено: 5 сентября 2017 г.
Cham: Springer, 2017.
The 21st International Conference on Developments in Language Theory (DLT 2017) was organized by the Department of Mathematics of the University of Liège, Belgium, during August 7–11, 2017.
The DLT conference series is one of the major international conference series in language theory and related areas. The DLT conference was established by G. Rozenberg and A. ...
Добавлено: 5 сентября 2017 г.
Кузнецов С. Л., Труды Математического института им. В.А. Стеклова РАН 2015 Т. 290 С. 72–79
Рассматриваются контекстно-свободные грамматики и грамматики Ламбека, обогащенные семантической разметкой. Такие грамматики не только отвечают на вопрос, принадлежит ли данное слово описываемому грамматикой формальному языку, но и, если ответ положителен, приписывают слову <img /> -терм, отвечающий семантическому значению (“смыслу”) слова. Представлена модификация предложенного В. Бушковским непосредственного преобразования контекстно-свободных грамматик в форме Хомского в грамматики Ламбека, сохраняющая ...
Добавлено: 23 октября 2016 г.
Кузнецов С. Л., Труды Математического института им. В.А. Стеклова РАН 2016 Т. 294 С. 141–151
Описан способ построения по грамматике Ламбека с одним делением контекстно-свободной грамматики, задающей тот же язык, размер которой ограничен полиномом от размера исходной грамматики. Известные ранее конструкции Бушковского и Пентуса приводили к экспоненциальному росту размера грамматики. ...
Добавлено: 23 октября 2016 г.