• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Теоретические основы, используемые для построения инструментов анализа языков программирования на примере языка Perl
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2028
  • 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
October 6, 2026
International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod Brings Together Scientists from Russia and Serbia
The International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod’ was held at the Nizhny Novgorod House of Scientists from September 23 to 26. The event was organised by HSE University–Nizhny Novgorod and the Nizhny Novgorod House of Scientists, with the participation of Sberbank and the Institute of Physics Belgrade. The symposium was held for the second time: the first conference took place in 2025 and attracted considerable interest from the academic community.
October 5, 2026
‘The Climate Transition Is Not Necessarily a Limitation for Business
Linara Khadimullina works in the field of low-carbon development. In an interview with the Young Scientists of HSE project, she spoke about why nature is not just a beautiful backdrop, her research on the role of sustainable corporate governance in reducing greenhouse gas emissions, and growing plants as a source of inspiration.
October 5, 2026
Africa, Youth, and Civic Dialogue: Public Diplomacy Discussed at HSE University
In late September, HSE University hosted a roundtable discussion titled Civil Society in African Countries and Youth Participation in Public Diplomacy. Representatives of non-governmental organisations from Ghana, Ethiopia, and Russia, along with students from HSE University’s Bachelor’s Programme in Public Administration, discussed how young people without official diplomatic status can influence relations between countries and how the nonprofit sector can remain sustainable amid declining grant funding.

 

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

?

Теоретические основы, используемые для построения инструментов анализа языков программирования на примере языка Perl

С. 281–283.
Вендин А. С.

In this work are considered a theoretical basis, which can help approach the implementation of the tool for analyze the source code of the program in Perl.

Language: Russian
Full text
Text on another site
Keywords: синтаксический анализформальный языкformal grammarSyntax Analysisformal languagesконтекстно-свободная грамматикаcontext-free grammarФормальная грамматика

In book

Научные исследования: теория, методика и практика. Сборник материалов Международной научно-практической конференции. 2017
Чебоксары: Общество с ограниченной ответственностью "Центр научного сотрудничества "Интерактив плюс", 2017.
Similar publications
Non-target processing and response patterns attest to cross-linguistic differences in structural analysis
Edeleva Y., Slioussar N., The Quarterly Journal of Experimental Psychology 2026 Vol. 79 No. 9 P. 1–23
The current paper presents three experimental studies of relative clause processing in German, French and Russian. The participants’ eye movements were tracked on the visual display while they listened to subject or object relative clauses (SRC vs. ORC) with transitive verbs. Three characters were shown on the display: the target (the referent of the relative ...
Added: September 28, 2026
О СЛОЖНОСТИ ПРОБЛЕМЫ ТОТАЛЬНОЙ ВЫВОДИМОСТИ В НЕУКОРАЧИВАЮЩИХ И КОНТЕКСТНО-СВОБОДНЫХ ГРАММАТИКАХ
Dudakov S., Карлов Б. Н., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 524 № 1 С. 11–18
In this paper we study the problem of total derivability in context-free, noncontracting, and context-sensitive grammars. Given a grammar and a terminal word, one has to determine whether there exists a derivation of this word which uses each production no less than a given number of times. It is proved that the problem of total ...
Added: March 18, 2026
Автоматическое выявление побуждений в тексте: применение методов компьютерной лингвистики в работе эксперта-лингвиста
П.Е. Белова, А.К. Сафарян, В кн.: Научно-практическая конференция с международным участием "Национальные и международные тенденции и перспективы развития судебной экспертизы". Сборник докладов.: Н. Новгород: Изд-во ННГУ им. Н.И. Лобачевского, 2024.
В данной статье представлено описание системы автоматического поиска и извлечения побуждений из текстов на русском языке FindImper, основанной на поиске глагольных форм и синтаксических связей. Алгоритм реализован на языке программирования Python с использованием библиотек для морфологического и синтаксического анализа и набора правил. Данный инструмент направлен на оптимизацию работы эксперта-лингвиста и доступен к использованию через веб-сайт ...
Added: January 30, 2026
Designing Data Visualization System Based on Language-Oriented Approach
A. D. Dzheiranian, Ermakov I. D., Proskuryakov K. A. et al., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 2 P. 127–140
The data visualization method based on a language-oriented approach is proposed. An analysis of data visualization tools and their customizability for subject areas based on user needs has been carried out. It is noted that these tools require highly qualified users to customize the data visualization format (users must have programming skills). It is proposed ...
Added: July 29, 2024
Трансляция языков высокого уровня, управляемая потоком данных
Salibekyan S. M., Информационные технологии 2024 Т. 30 № 5 С. 261–268
The article is devoted to the description of the developed method and tools for translating high-level programming languages into an abstract syntactic tree. The peculiarity of the technique is that it is based on the object-attribute (OA) architecture of a computing system belonging to the dataflow class. The syntactic tree synthesized by the translator is ...
Added: May 21, 2024
On Decidability of Theories of Regular Languages
Sergey Dudakov, Karlov B., Theory of Computing Systems 2021 Vol. 65 No. 3 P. 462–478
This paper is dedicated to studying decidability properties of theories of regular languages with classical operations: union, concatenation, and the Kleene star. The theory with union only is a theory of some Boolean algebra, so it is decidable. We prove that the theory of regular languages with the Kleene star only is decidable. If we ...
Added: November 12, 2023
COMPLEXITY OF LAMBEK CALCULI WITH MODALITIES AND OF TOTAL DERIVABILITY IN GRAMMARS
S. M. Dudakov, Karlov B. N., S. L. Kuznetsov et al., Algebra and Logic 2021 Vol. 60 No. 5 P. 308–326
The Lambek calculus with the unit can be defined as the atomic theory (algebraic logic) of the class of residuated monoids. This calculus, being a theory of a broader class of algebras than Heyting ones, is weaker than intuitionistic logic. Namely, it lacks structural rules: permutation, contraction, and weakening. We consider two extensions of the ...
Added: November 12, 2023
Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines
Zakharov V., Automatic Control and Computer Sciences (AC&CS), Switzerland 2021 Vol. 55 No. 7 P. 670–701
Finite transducers, two-tape automata, and biautomata are related computational models descended from the concept of finite-state automaton. In these models an automaton controls two heads that read or write symbols on the tapes in the one-way mode. The computations of these three types of automata show many common features, and it is surprising that the methods for analyzing ...
Added: January 17, 2022
Octagonal picture languages
Govindaraj R., Mahendran A., International Journal of Reasoning-based Intelligent Systems 2018 Vol. 3 No. 4 P. 197–203
A picture grammar is the generation of pictures through description of words. The picture is represented in matrix form of finite alphabet using various grammars. Picture grammar can be achieved through context free grammar or regular expressions. Here we extend hexagonal picture language to octagonal picture language thereby introducing octagonal Wang system (OWS) and octagonal ...
Added: November 24, 2021
Синтаксический анализ текстов предметной области при помощи онтологии
Гельцер Б. И., Горбач Т. А., Грибова В. В. et al., Труды Института системного программирования РАН 2021 Т. 33 № 4 С. 99–116
The paper compares three methods for parsing of patients’ chief complaints extracted from electronic medical cards. We propose two methods which are based on usage of an ontology: either as a method for correction of mistake made by a parser, or for constructing syntactical dependencies according to this ontology and a limited set of rules ...
Added: October 20, 2021
Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings
Switzerland: Springer International Publishing, 2021.
Added: September 28, 2021
Алгебра когито
Petrovskiy V., Вопросы философии 2019 № 3 С. 110–121
Added: February 11, 2021
Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Cham: Springer, 2020.
This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov has laid the foundations for a number of now well-established domains in mathematics and computer science including Proof Theory, Logic in Computer Science, Foundations in Computer Security, and Linguistics. This combination of breadth and penetrating originality is rare and impressive. This ...
Added: November 25, 2020
Сложность российских законов. Опыт синтаксического анализа
Knutov A., Plaksin S., Grigorieva N. et al., М.: Издательский дом НИУ ВШЭ, 2020.
В настоящей публикации описан опыт оценки удобочитаемости законодательных актов Российской Федерации на основе их синтаксического анализа методами компьютерной лингвистики. Для этого разработана методология машинного анализа синтаксической сложности с построением интегрального индекса. Впервые получены всеобъемлющие статистические данные о синтаксисе федерального законодательства. Авторы пришли к выводу, что законодательство с 1991 года стало сложнее на 30%. Также в ...
Added: May 25, 2020
QUANTITATIVE EVALUATION OF SYNTAX SIMILARITY
Klyshinskiy E., Karpik O., Mathematica Montisnigri 2019 Vol. XLVI P. 123–132
Machine learning systems are facing problem of incomparability of their results in case of different languages; one of the subarea here is quantitative analysis of syntax. In this paper, we introduce a new quantitative method based on statistics of words co-occurrence in syntactically tagged corpora. The method allows quantitatively evaluate difference and similarity among languages, ...
Added: October 26, 2019
Bar-Hillel Theorem Mechanization in Coq
Grigorev S., Bozhko S., Хатбуллина Л. Р., Lecture Notes in Computer Science 2019 Vol. 11541 P. 264–281
Formal language theory has a deep connection with such areas as static code analysis, graph database querying, formal verifica- tion, and compressed data processing. Many application problems can be formulated in terms of languages intersection. The Bar-Hillel theo- rem states that context-free languages are closed under intersection with a regular set. This theorem has a ...
Added: August 20, 2019
A Structural Lemma for Deterministic Context-Free Languages
Rubtsov A. A., , in: Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings.: Cham: Springer, 2018. P. 553–565.
We present a new structural lemma for deterministic con- text free languages. From the first sight, it looks like a pumping lemma, because it is also based on iteration properties, but it has significant distinctions that makes it much easier to apply. The structural lemma is a combinatorial analogue of KC-DCF-Lemma (based on Kolmogorov complexity), ...
Added: September 12, 2018
Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
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 ...
Added: September 12, 2018
Annual Workshop on Formal Approaches to Slavic Linguistics: The Urbana-Champaign Meeting 2017
Michigan Slavic Publications, 2020.
Added: April 19, 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