• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • О числовых характеристиках формальных языков
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
May 25, 2026
HSE Scientists Train Neural Network to 'Hear' Faults in Electric Motors
Researchers at the AI and Digital Science Institute of the HSE Faculty of Computer Science have developed a new method—the Signature-Guided Data Augmentation (SGDA) framework—that achieves 99% accuracy in motor fault detection and 86% accuracy in fault classification. The application of this approach can reduce industrial equipment repair costs, minimise downtime, and improve production safety. The study results have been published in Engineering Applications of Artificial Intelligence.
May 25, 2026
'The Humanities Serve as a Conscience'
Maria Mizernaia studies Soviet literature and the history of book publishing. In this interview for the HSE Young Scientists project, she discusses plans to publish a novel about besieged Leningrad, AI-provoked reflections on what it means to be human, and how novels can help satisfy our dopamine hunger.
May 25, 2026
Is It Possible to Predict a Citys Life Based on the Shape of Its Neighbourhoods?
Is it possible to predict, based on the configuration of streets and buildings, where a café will open or where traffic congestion will occur? Participants in the Spatial Analysis and Modelling of Urban Processes research and study group use open data and machine learning to identify universal patterns. Alexander Sheludkov and Eduard Somov discuss the purpose of comparing cities, the need for new forms of urban statistics, and how open data is transforming approaches to urban studies.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

О числовых характеристиках формальных языков

Вестник Московского государственного технического университета им. Н.Э. Баумана. Серия Естественные науки. 2017. № 4. С. 4–15.
Ismagilov R. S., Мастихина А. А., Filippova L.
Language: Russian
DOI
Keywords: производящая функцияграфпорядокформальный языкрегулярный языксостав слов
Similar publications
Классификация относительно регулярных алгебр
Vyalyi M., Шиманогов И. Н., Труды Московского физико-технического института 2024 Т. 16 № 4 С. 128–134
В данной работе рассматривается обобщение задачи регулярной реализуемости. Вводится понятие относительно регулярных булевых алгебр — булевых алгебр, состоящих из пересечений регулярных языков с некоторым фиксированным языком. Доказывается теорема о том, что для произвольной атомной булевой алгебры существует изоморфная ей относительно регулярная алгебра. ...
Added: November 18, 2025
Geometry of unimodular systems
Artamkin I., / Series arXiv "math". 2023.
A collection of vectors in a real vector space is called a unimodular system if any of its maximal linearly independent subsets generates the same free abelian group. This notion is closely connected with totally unimodular matrices: rows or columns of a totally unimodular matrix form a unimodular system and the matrix of coefficients of ...
Added: November 1, 2025
Об одном комбинаторном приложении теории ультрафильтров: новая конструкция графов без треугольников и с произвольно большим хроматическим числом
Polyakov N. L., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 522 № 1 С. 40–49
The paper describes a new method for constructing graphs without triangles and with an arbitrarily large chromatic number. The properties of various types of ultrafilter extensions of functions and predicates are used to justify the method. ...
Added: June 3, 2025
Моделирование транспортно-логистических систем и исследование их структурной устойчивости.
Кочкаров А. А., Яцкин Д. В., Кочкаров Р. А., Управленческие науки 2020 Т. 10 № 1 С. 102–111
An important parameter of the transport and logistics task is the structural stability of the system to external influences. In modern literature, the concept of structural stability is defined in its own way for each individual task, as a result of which there are difficulties in applying the developed methods to new problems. The transport ...
Added: March 7, 2025
Проектирование транспортно-логистических систем, устойчивых к структурным разрушениям
Кочкаров А. А., Яцкин Д. В., Кочкаров Р. А., Теоретическая и прикладная экономика 2020 № 1 С. 1–9
This article is dedicated to designing of the transport and logistics systems with built-in resistance to structural failures. The sustainability indicators reflect the impact of the failure of one or several hubs (communication channels) upon working capacity of the already functioning system. In the process of designing the system, the sustainability indicators also provide opportunities ...
Added: March 7, 2025
Оценка структурной устойчивости транспортно-логистических систем при решении оптимизационных задач.
Кочкаров А. А., Яцкин Д. В., Кочкаров Р. А., Нелинейный мир 2019 Т. 17 № 5 С. 14–23
Постановка проблемы. Понятие структурной устойчивости определяется применительно для каждой индивидуальной задачи, в результате чего появляются сложности применения разработанных методов в новых задачах. Структурное воздействие на транспортно-логистическую систему представлено элементарными событиями над графом, в том числе их суперпозицией. В работе используется понятие структурного разрушения графа, что подразумевает разбиение графа на несвязные компоненты. Цель. Рассмотреть фундаментальный подход к ...
Added: March 7, 2025
О последовательных факторах нижнего центрального ряда прямоугольных групп Кокстера
Veryovkin Y., Рахматуллаев Т. А., Математические заметки 2024 Т. 116 № 1 С. 10–33
We study the lower central series of a right-angled Coxeter group RCK and the corresponding associated graded Lie algebra L(RCK) and describe the basis of the fourth graded component of L(RCK) for any K. ...
Added: January 15, 2025
Управление математическим моделированием сетевых графов
Мутина Е. И., Kaperko A., Погодаев А. К., Системы управления и информационные технологии (Российская Федерация) 2023 № 4(94) С. 13–18
Модели сетевых графов используются для совершенно разных целей. Например, для тестирования заранее определенной характеристики на «значимость» в сетевом графе, изучении механизмов, которые генерируют наблюдаемые в реальных сетях свойства. Статья исследует эти проблемы. ...
Added: January 11, 2024
ЗАДАЧНИК ПО ДИСКРЕТНОЙ МАТЕМАТИКЕ
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь: Тверской государственный университет, 2021.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника". Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским  занятиям и ...
Added: November 12, 2023
Лекции по дискретной математике
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь: Тверской государственный университет, 2021.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Added: November 12, 2023
Exact Solutions of One Nonlinear Countable-Dimensional System of Integro-Differential Equations
A. E. Rassadin, Журнал Средневолжского математического общества 2023 Vol. 25 No. 1 P. 542–533
In the present paper, a nonlinear countable-dimensional system of integrodifferential equations is investigated, whose vector of unknowns is a countable set of functions of two variables. These variables are interpreted as spatial coordinate and time. The nonlinearity of this system is constructed from two simultaneous convolutions: first convolution is in the sense of functional analysis ...
Added: April 4, 2023
О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени
Gnatenko A., Zakharov V., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356–371
Sequential reactive systems are computer programs or hardware devices which process the flows of input data or control signals and output the streams of instructions or responses. When designing such systems one needs formal specification languages capable of expressing the relationships between the input and output flows. Previously, we introduced a family of such specification ...
Added: January 17, 2022
Производящая функция компонент тензора Эйлера-Пуансо
Burov A. A., Nikonova E., Доклады Российской академии наук. Физика, технические науки 2021 Т. 498 С. 53–56
The generating functions enable to calculate the components of the Euler–Poinsot tensor using differentiation are introduced. The role of these functions is similar to the role of generating functions in mathematical statistics, enabling one to calculate statistical moments of any order. The properties of these functions are discussed. ...
Added: October 23, 2021
Wilf Classes of Non-symmetric Operads
Cherkasov A., Piontkovski D., , in: ISSAC '21: Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation.: Association for Computing Machinery (ACM), 2021. P. 91–98.
Two operads are said to belong to the same Wilf class if they have the same generating series. We discuss possible Wilf classifications of non-symmetric operads with monomial relations. As a corollary, this would give the same classification for the operads with a finite Groebner basis. Generally, there is no algorithm to decide whether two finitely ...
Added: September 27, 2021
Алгебра когито
Petrovskiy V., Вопросы философии 2019 № 3 С. 110–121
Added: February 11, 2021
О задаче верификации моделей программ для одного расширения логики CTL*
Gnatenko A., Zakharov V., Моделирование и анализ информационных систем 2020 Т. 27 № 4 С. 428–441
Sequential reactive systems include programs and devices that work with two streams of data and convert input streams ofdata into output streams. Such information processing systems include controllers, device drivers, computer interpreters.‘e result of the operation of such computing systems are in€nite sequences of pairs of events of the request–responsetype, and, therefore, €nite transducers are ...
Added: January 31, 2021
Бинарные отношения, графы и коллективные решения. Примеры и задачи
Aleskerov F. T., Khabina E. L., Shvarts D. et al., М.: Юрайт, 2021.
Мы часто принимаем решения не единолично, а в коллективе, с учетом мнений и предпочтений всех членов коллектива: в задачах голосования, распределения работников по работам или студентов по курсам, в задачах дележа наследства или общего имущества, в распределении мест в парламенте после выборов и оценке влияния участников в выборном органе, в задачах оценки эффективности работы в ...
Added: November 29, 2020
Оптимальное правило остановки геометрического случайного блуждания со степенной функцией выигрыша
Zverev O. V., Khametov V., Shelemekh E. A., Автоматика и телемеханика 2020 № 7 С. 34–55
Решены две задачи об оптимальной остановке геометрического случайного блуждания со степенной функцией выигрыша (с конечным и бесконечным горизонтом). Для этих задач установлены явный вид урезанной цены и правила оптимальной остановки; доказано, что оптимальные правила остановки являются пороговыми нерандомизированными и описывают соответствующую свободную границу, явный вид которой представлен. ...
Added: November 27, 2020
Using an extension of CTL* for specification and verification of sequential reactive systems
Gnatenko A., Zakharov V., Системная информатика 2020 Vol. 17 P. 21–32
Sequential reactive systems such as controllers, device drivers, computer interpreters operate with two data streams and transform input streams of data (control signals, instructions) into output streams of control signals (instructions, data). Finite state transducers are widely used as an adequate formal model for information processing systems of this kind. Since runs of transducers develop ...
Added: November 9, 2020
О производящих функциях и предельных теоремах, связанных с максимальными независимыми множествами в графах-решетках
Taletskii D., Журнал Средневолжского математического общества 2017 Т. 19 № 2 С. 105–116
В настоящей работе рассматриваются количественные характеристики максимальных независимых множеств в графах-решетках. В ней используются методы комбинаторного анализа, перечислительной комбинаторики, математического анализа и линейной алгебры. Получен явный вид производящих функций количества максимальных независимых множеств в цилиндрических и тороидальных решетках ширины 4,5,64,5,6. Доказано, что пределы корней mnmn-ой степени из количества (максимальных) независимых множеств в прямоугольных, цилиндрических и тороидальных m×nm×n-решетках существуют ...
Added: October 29, 2019
О количестве регулярных языков, представимых в групповых гиперавтоматах
Samonenko I., Интеллектуальные системы. Теория и приложения 2018 Т. 22 № 2 С. 113–121
A hyperautomatа is a finite automatа whose states are the sets of states of some finite automata.  A hyperautomatа is called a group hyperautomatа if the semigroup of the automatа on which it is based is a finite group. In this paper, we study the question of the maximum number of regular languages that can be ...
Added: September 28, 2018
Об одной теоретико-вероятностной модели Sponge-конструкции
Mironkin V., Обозрение прикладной и промышленной математики 2018 Т. 25 № 1 С. 3–8
The graph of internal states of Sponge construction and the relationship between internal states and elements of the output sequence are investigated. The methods of constructing collisions which use features of the cyclic structure of Sponge construction’s substitution are proposed. The general form of the corresponding collisions is described. ...
Added: April 27, 2018
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit