Применение синтаксически ориентированного управления обработкой данных в логических системах
Аннотация
Рассматривается пример применения контекстно-свободных грамматик в регулярной форме для представления логических схем вывода для совместного использования систем компьютерной алгебры и систем компьютерной поддержки доказательства теорем. Представлена функциональная структура программного модуля SynGT.Литература
Fedorchenko L. N., Soloviev S. V, et al. Syntax Graph Transformations in the system SynGT and their Applications (English). Rapport IRIT/2003-06-R, UMR 5505 CNRS-INP-UPS. 15 p.
Федорченко Л. Н., Соловьев С. В. Синтаксические преобразования в системе SynGT и их новые приложения // Тезисы докладов VIII Санкт-Петербургской международной конферен- ции «Региональная информатика-2002». Ч. 2. СПб.: СПОИСУ, 2002. C. 50.
Федорченко Л. Н., Флегонтов А. В., Соловьев С. В. Теория типов, компьютерная алгебра и поддержка доказательств // Труды международной конференции «Региональная информатика-2002». СПб.: СПОИСУ, 2003. C. 108–117.
Флегонтов А. В., Федорченко Л. Н., Соловьев С. В. Использование теории типов в аналитических вычислениях // Информатика и связь. 2004. № 1. С.10–18.
Hopcroft J. E., Ullman J. D. Formal languages and their relation to automata. Addison-Wesley pub. comp., 1969. 242 p.
Kleene S. C. Representation of events in nerve nets and finite automata. In C. E. Shannon and J. Mc-. Carthy, editors, Automata Studies, pages 341.
Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 1. Синтаксический анализ. М.: Мир,1978. 612 с.
Федорченко Л. Н. Извлечение крайней рекурсии из КСР-грамматики в системе SynGT // Труды СПИИРАН. 2001. Вып. 1, т. 1. СПб: СПИИРАН, 2001. С. 350–359.
Федорченко Л. Н. О регуляризации контекстно-свободных грамматик // IX Санкт- Петербургская международная конференция «Региональная Информатика-2004 (РИ- 2004)», Санкт-Петербург, 22–24 июня 2004 г.: Труды. СПб., 2005. С. 89–95.
Федорченко Л. Н., Соловьев С. В. Синтаксические преобразования в системе SynGT и их новые приложения // Тезисы докладов VIII Санкт-Петербургской международной конферен- ции «Региональная информатика-2002». Ч. 2. СПб.: СПОИСУ, 2002. C. 50.
Федорченко Л. Н., Флегонтов А. В., Соловьев С. В. Теория типов, компьютерная алгебра и поддержка доказательств // Труды международной конференции «Региональная информатика-2002». СПб.: СПОИСУ, 2003. C. 108–117.
Флегонтов А. В., Федорченко Л. Н., Соловьев С. В. Использование теории типов в аналитических вычислениях // Информатика и связь. 2004. № 1. С.10–18.
Hopcroft J. E., Ullman J. D. Formal languages and their relation to automata. Addison-Wesley pub. comp., 1969. 242 p.
Kleene S. C. Representation of events in nerve nets and finite automata. In C. E. Shannon and J. Mc-. Carthy, editors, Automata Studies, pages 341.
Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 1. Синтаксический анализ. М.: Мир,1978. 612 с.
Федорченко Л. Н. Извлечение крайней рекурсии из КСР-грамматики в системе SynGT // Труды СПИИРАН. 2001. Вып. 1, т. 1. СПб: СПИИРАН, 2001. С. 350–359.
Федорченко Л. Н. О регуляризации контекстно-свободных грамматик // IX Санкт- Петербургская международная конференция «Региональная Информатика-2004 (РИ- 2004)», Санкт-Петербург, 22–24 июня 2004 г.: Труды. СПб., 2005. С. 89–95.
Опубликован
2006-04-01
Как цитировать
Федорченко,. (2006). Применение синтаксически ориентированного управления обработкой данных в логических системах. Труды СПИИРАН, 2(3), 162-168. https://doi.org/10.15622/sp.3.13
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
