Вестник БГУ. Математика, информатика
Библиографическое описание:
, МЕТОДИКА АВТОМАТИЗИРОВАННОЙ ОБРАБОТКИ ИНФОРМАЦИИ С ИСПОЛЬЗОВАНИЕМ ЯЗЫКА ПРОГРАММИРОВАНИЯ ВЫСОКОГО УРОВНЯ. ЧАСТЬ 2 // Вестник БГУ. Математика, информатика. - 2025. №1. . - С. 65-78.
Заглавие:
МЕТОДИКА АВТОМАТИЗИРОВАННОЙ ОБРАБОТКИ ИНФОРМАЦИИ С ИСПОЛЬЗОВАНИЕМ ЯЗЫКА ПРОГРАММИРОВАНИЯ ВЫСОКОГО УРОВНЯ. ЧАСТЬ 2
Финансирование:
Коды:
Аннотация:
Вторая часть статьи посвящена разработке анализатора языка, определяемого трансляционными грамматиками в регулярной форме. Впервые описываемая методика была применена в 1970-х гг. в компиляторе для Алгола Сформулированы ограничения на грамматику, представленную в форме системы ориентированных графов (типа расширенных диаграмм Вирта), гарантирующие существование языкового процессора, подобного детерминированному магазинному преобразователю, который далее рассматривается как управляющий механизм, сканирующий входную цепочку слева направо, фиксируя последовательность состояний для инициирования действий, составляющих процесс трансляции. Специфику методики составляет алгоритм регуляризации грамматики, основанный на эквивалентных преобразованиях синтаксического графа грамматики: устранении рекурсий и вставке итераций. Регуляризация исходной грамматики является частью полного цикла реализации языка, состоящего из цикла пользователя, и полуавтоматического цикла разработчика.
Ключевые слова:
автоматизированная обработка информации, схема процесса компиляции, синтаксическая модель языка, эквивалентные преобразования, языковой процессор.
Список литературы:
Ginsburg S. The mathematical theory of сontext-free languages. New York: Mc Graw-Hill Inc., 1966 / перевод на русский язык и под редакцией А. В. Гладкого. Москва: Мир, 1970. 326 с.
Клини С. К. Введение в метаматематику / перевод с английского А. С. Есенина-Вольпина; под редакцией В. А. Успенского. Москва: Изд-во иностр. лит., 1957. 526 с.
Гладкий А. В. Формальные грамматики и языки. Москва, 1973. 368 с.
Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Москва: Мир, 1978. Т. 1. 612 c.
Грис Д. Конструирование компиляторов для цифровых вычислительных машин. Москва: Мир, 1975. 544 c.
Касьянов В. Н., Поттосин И. В. Методы построения трансляторов. Новосибирск: Наука, 1986. 343 c.
Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. Москва: Мир, 1979. 654 с.
Пратт Т. Языки программирования: разработка и реализация / перевод с английского и под редакцией Ю. М. Баяковского. Москва: Мир, 1979. 668 с.
Aho A., Sethi R., Ullman J., Compilers: Principles, Techniques and Tools. Ad- dison-Wesley Publishing Company, 1986. 796 p.
Baranov S., Lavarenne C. Open C Compiler in Forth. In: EuroForth’95, 27–29 Oct. Schloss Dagstuhl (1995). Москва, 1979. 574 с.
Fraser C., Hanson D. A retargetable C compiler: Design and implementation. Addison-Wesley Pub. Company, Menlo Park. California, 1995. 564 p.
Федорченко Л. Н., Мартыненко Б. К. Эквивалентные преобразования КСР грамматик в регулярной форме в практике построения языковых процессоров. Часть первая. Определение и распознавание КСР-языков посредством синтакси- ческих граф-схем / Ленинградский научно-исследовательский вычислительный центр. Ленинград: Изд-во АН СССР, 1983. 54 с.
Федорченко Л. Н. Извлечение крайней рекурсии из КСР грамматики в системе SynGT // Труды СПИИРАН. 2002. Т. 1. С. 350–359.
Fedorchenko L. Regularization of Context-Free Grammars. Saarbrucken: LAP LAMBERT Academic Publishing, 2011. 188 p.
Федорченко Л. Н. О регуляризации контекстно-свободных грамматик // Известия вузов. Приборостроение. 2006. Т. 49, № 11. C. 50–54.
Fedorchenko L. N., Soloviev S. V., Naumov I. N., Mehats L. Syntax Graph Transformations in the System SynGT and their Applications: Rapport IRIT/2003-06- R, UMR 5505 CNRS-INP-UPS. 2003. 15 p.(English).
Федорченко Л. Н. Cинтаксически управляемая обработка данных для практических задач // Вестник БГУ. 2013. № 9. С. 87–99.
Ludmila Fedorchenko, Sergey Baranov. Equivalent Transformations and Regularization in Context–Free Grammars // Bulgarian Academy of Sciences/ Cybernetics and Information Technologies (CIT). Sofia, 2015. Vol. 14, No. 4. P. 11–28.
Федорченко Л. Н. Методика автоматизированной обработки информации с использованием языка программирования высокого уровня. (Часть 1) // Вестник Бурятского государственного университета. Математика, информатика. 2024. № 1. С. 46–55.
20. Язык спецификации взаимодействия автоматных объектов / Ф. А. Нови- ков, И. В. Афанасьева, Л. Н. Федорченко, Т. А. Харисова // Научно-технический вестник информационных технологий, механики и оптики. 2024. Т. 24, № 6. С. 907–915. (на англ. яз.) doi: 10.17586/2226-1494-2023-24-6-907-915.
Клини С. К. Введение в метаматематику / перевод с английского А. С. Есенина-Вольпина; под редакцией В. А. Успенского. Москва: Изд-во иностр. лит., 1957. 526 с.
Гладкий А. В. Формальные грамматики и языки. Москва, 1973. 368 с.
Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Москва: Мир, 1978. Т. 1. 612 c.
Грис Д. Конструирование компиляторов для цифровых вычислительных машин. Москва: Мир, 1975. 544 c.
Касьянов В. Н., Поттосин И. В. Методы построения трансляторов. Новосибирск: Наука, 1986. 343 c.
Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. Москва: Мир, 1979. 654 с.
Пратт Т. Языки программирования: разработка и реализация / перевод с английского и под редакцией Ю. М. Баяковского. Москва: Мир, 1979. 668 с.
Aho A., Sethi R., Ullman J., Compilers: Principles, Techniques and Tools. Ad- dison-Wesley Publishing Company, 1986. 796 p.
Baranov S., Lavarenne C. Open C Compiler in Forth. In: EuroForth’95, 27–29 Oct. Schloss Dagstuhl (1995). Москва, 1979. 574 с.
Fraser C., Hanson D. A retargetable C compiler: Design and implementation. Addison-Wesley Pub. Company, Menlo Park. California, 1995. 564 p.
Федорченко Л. Н., Мартыненко Б. К. Эквивалентные преобразования КСР грамматик в регулярной форме в практике построения языковых процессоров. Часть первая. Определение и распознавание КСР-языков посредством синтакси- ческих граф-схем / Ленинградский научно-исследовательский вычислительный центр. Ленинград: Изд-во АН СССР, 1983. 54 с.
Федорченко Л. Н. Извлечение крайней рекурсии из КСР грамматики в системе SynGT // Труды СПИИРАН. 2002. Т. 1. С. 350–359.
Fedorchenko L. Regularization of Context-Free Grammars. Saarbrucken: LAP LAMBERT Academic Publishing, 2011. 188 p.
Федорченко Л. Н. О регуляризации контекстно-свободных грамматик // Известия вузов. Приборостроение. 2006. Т. 49, № 11. C. 50–54.
Fedorchenko L. N., Soloviev S. V., Naumov I. N., Mehats L. Syntax Graph Transformations in the System SynGT and their Applications: Rapport IRIT/2003-06- R, UMR 5505 CNRS-INP-UPS. 2003. 15 p.(English).
Федорченко Л. Н. Cинтаксически управляемая обработка данных для практических задач // Вестник БГУ. 2013. № 9. С. 87–99.
Ludmila Fedorchenko, Sergey Baranov. Equivalent Transformations and Regularization in Context–Free Grammars // Bulgarian Academy of Sciences/ Cybernetics and Information Technologies (CIT). Sofia, 2015. Vol. 14, No. 4. P. 11–28.
Федорченко Л. Н. Методика автоматизированной обработки информации с использованием языка программирования высокого уровня. (Часть 1) // Вестник Бурятского государственного университета. Математика, информатика. 2024. № 1. С. 46–55.
20. Язык спецификации взаимодействия автоматных объектов / Ф. А. Нови- ков, И. В. Афанасьева, Л. Н. Федорченко, Т. А. Харисова // Научно-технический вестник информационных технологий, механики и оптики. 2024. Т. 24, № 6. С. 907–915. (на англ. яз.) doi: 10.17586/2226-1494-2023-24-6-907-915.
Статья.pdf