?
Теоретические основы, используемые для построения инструментов анализа языков программирования на примере языка 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.
In book
Чебоксары : Общество с ограниченной ответственностью "Центр научного сотрудничества "Интерактив плюс", 2017
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
Лукин В. Н., Chernyshov L. N., М. : Вузовская книга, 2016
Concepts of the theory of algorithmic languages and methods of broadcasting and also processing of data and their organization are considered. Statement of material is followed by practical examples. The grant is intended for students of the higher educational institutions studying in the Applied Mathematics and Applied Mathematics and Informatics directions. Contains the subjects studied ...
Added: December 11, 2017
Вендин А. С., Успехи современной науки 2017 Т. 1 № 5 С. 81-85
in this work the development of a tool for the Perl programming language source code analysis for algorithm visualizationis considered . A theoretical basis is considered, which can help approach the implementation of the tool and analyze the source code of the program in Perl. An overview of the existing visualization tools for source code ...
Added: December 11, 2017
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
Lukinskiy V., Логистика 2015 № 10 (107) С. 45-45
Статья профессора Л.А. Кузнецова еще раз напоминает нам, что логистика (и управление цепями поставок) – молодая наука и все ее элементы, особенно, основы теории и методологии требуют поиска и проведения активных исследований, дискуссий, обмена информацией и объединения творческих усилий ученых и специалистов. Поэтому любые попытки разрешить сложившуюся ситуацию, в частности, и данная статья должны не ...
Added: December 1, 2015
Alekseev V., Talanov V. A., М. : Интернет-университет информационных технологий, 2006
Учебник состоит из трех частей,посвященных вопросам анализа и разработки алгоритмов: графы и алгоритмы, структуры данных, модели вычислений. Для понимания материала достаточно математической подготовки в объеме первого курса университета или технического вуза. Предназначен для студентов, обучающихся по раправлению Прикладная математика и информатика и по специальности Прикладная математика и информатика. ...
Added: December 24, 2012
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
Alekseev V., Talanov V. A., Н. Новгород : Нижегородского госуниверситета, 2005
Учебник состоит из трех частей, посвященных вопросам анализа и разработки алгоритмов: графы и алгоритмы, модели вычислений, структуры данных. Для
понимания материала достаточно математической подготовки в объеме первого
курса университета или технического вуза.
Предназначен для студентов, обучающихся по направлению 510200 − Прикладная математика и информатика и по специальности 010200 − Прикладная
математика и информатика. ...
Added: December 24, 2012
Karpov I., Крылова Т. В., Timoshenko S., / Routledge. Series SSLA-2021-0040 " Scando-Slavica". 2022.
In this paper we describe the difference between informal comments, posted on social networks, and internet journalistic-style texts, which tend to be written in a Codified Literary Russian.. We performed a quantitative analysis of more than0 graphic, morphological, syntactic features, and supplied statistically significant features with the linguistic interpretation. The article concluded that the specificity of ...
Added: October 31, 2021
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
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
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
Avdoshin S. M., Набебин А. А., М. : ДМК Пресс, 2018
The textbook contains the basic information of formal logical systems. It is Boolean functions, Post’s theorem on functional completeness, the k-valued logic, derivatives of Boolean functions, axiomatic calculi for propositions, for predicates, for sequentions, for resolutions. Programming language Prolog and axiomatic programming language OBJ3 are introduced. Problems of monadic logic, of finite automata and of ...
Added: December 2, 2017
Rubtsov A. A., , in : Proceedings of Language and Automata Theory and Applications 2020. : Springer, 2020.
Formal grammars provide the way of formal language's description. The other way is describing a language by automata model. But not all classes of formal languages fit in the both ways of description. We provide a new way of formal language's description which is universal and combine the advantages of the both mentioned methods — a ...
Added: October 19, 2017
Karpov I., Крылова Т. В., Timoshenko S., Scando-Slavica 2022 P. 1-20
In this paper we describe the difference between informal comments, posted on social networks, and internet journalistic style texts, which tend to be written in a Codified Literary Russian. We performed a quantitative analysis of more than0 graphic, morphological, syntactic features, and supplied statistically significant features with the linguistic interpretation. The article concluded that the ...
Added: October 31, 2021
Nagornyy O. S., Мухетдинова А. Т., В кн. : Математическое и компьютерное моделирование [Электронный ресурс]: материалы IV Международной научной конференции (Омск, 11 ноября 2016 г.). : Омск : Издательство Омского государственного университета, 2016. С. 154-156.
В данной работе на материалах раздела о здоровом образе жизни блога lifehacker.ru при помощи тематического моделирования и синтаксического анализа текстов исследуется, как дискурс о биопедагогике проявляет себя в Интернете, какие лингвистические средства для этого используются и какие темы затрагиваются. ...
Added: November 25, 2016
Knutov A., Plaksin S., Григорьева Н. Л. et al., М. : Издательский дом НИУ ВШЭ, 2020
В настоящей публикации описан опыт оценки удобочитаемости законодательных актов Российской Федерации на основе их синтаксического анализа методами компьютерной лингвистики. Для этого разработана методология машинного анализа синтаксической сложности с построением интегрального индекса. Впервые получены всеобъемлющие статистические данные о синтаксисе федерального законодательства. Авторы пришли к выводу, что законодательство с 1991 года стало сложнее на 30%. Также в ...
Added: May 25, 2020
Дроздов В. В., Klyshinskiy E., Качество. Инновации. Образование 2010 № 10 С. 45-52
В статье обосновывается актуальность создания метода автоматической генерации правил для систем, использующих грамматический синтаксический анализ, и дается описание такого метода. ...
Added: April 12, 2012
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
Lyashevskaya O., Droganova K., Zeman D. et al., / НИУ ВШЭ. Series WP BRP "Linguistics". 2016. No. 44.
This paper presents the Universal Dependencies tagset (UD v1) as a new annotation scheme for Russian treebanks. The universal list of dependency relations was adopted and extended to comply with certain language-specific syntactic constructions. The tagset was validated, converting two Russian treebanks into the UD format, UD-Russian-SynTagRus and UD-Russian-Google. ...
Added: December 14, 2016
Switzerland : Springer International Publishing, 2021
Added: September 28, 2021
Ismagilov R. S., Мастихина А. А., Filippova L., Вестник Московского государственного технического университета им. Н.Э. Баумана. Серия Естественные науки 2017 № 4 С. 4-15
Рассмотрена задача подсчета числа слов регуляного языка заданного состава. Задан алфавит символов. Состав слова определен как вектор. Введены функции числа слов заданного состава. Определены простые оценки указанных функций для языков, полученных из языков с помощью обычных операций (объединение, конкатенация, итерация). Изучены ряды для языков, порожденных автоматами. ...
Added: March 9, 2018