Применение автоматов с магазинной памятью для решения комбинаторных задач
Аннотация
Автоматы с магазинной памятью, традиционно являющиеся формализмом для представления алгоритмов синтаксического анализа, могут иметь существенно более широкое применение — в частности, для формализации правил решения комбинаторных задач в различных предметных областях. В статье на ряде примеров рассматриваются особенности конструкции и организации функционирования автоматов с магазинной памятью применительно к нескольким типовым комбинаторным задачам, проводится аналогия между подобными автоматами и механизмом возвратов в Пролог-системахЛитература
Коршунов Ю. М. Математические основы кибернетики: Учеб. пособие для вузов. — М.: Энергия, 1980. — 424 с.
Растригин Л. А., Рипа К. К. Автоматная теория случайного поиска. — Рига: Зинатне, 1973. — 344 с.
Лорьер Ж.-Л. Системы искусственного интеллекта: Пер. с франц. — М.: Мир, 1991. — 568 с.
Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. — М.: Наука, 1983.
Номоконов М. К., Сидоров А. К., Шерстюк Ю. М. Технология программирования. Вып. 2. Математическая логика и элементы теории логического программирования. (Учебное пособие) / Под ред. Ю.М. Шерстюка — СПб.: СПВВИУС, 1997. — 88 с.
Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции.— М.: Мир, 1977.
Мигас С. С., Шерстюк Ю. М. Технология программирования. Вып. 7: Основы теории компиляции: Учеб. Пособие. — СПб.: ВУС, 1999. — 86 с.
Лейнсоо А. А., Шерстюк Ю. М. Алгоритм эволюционного синтеза плана размещения информационных объектов // Модели и методы исследования информационных сетей. Сб. научных трудов Академии региональных проблем информации и управления. Вып. 3. — СПб.:Тема, 1999. — с. 121–124.
Лейнсоо А. А. Подход к формированию логической структуры распределенной информационной системы с интеграцией существующих баз данных // Сб. научных трудов "Модели и методы исследования информационных сетей". Вып. 1, СПб.: Тема, 1999. с. 24–28.
Растригин Л. А., Рипа К. К. Автоматная теория случайного поиска. — Рига: Зинатне, 1973. — 344 с.
Лорьер Ж.-Л. Системы искусственного интеллекта: Пер. с франц. — М.: Мир, 1991. — 568 с.
Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. — М.: Наука, 1983.
Номоконов М. К., Сидоров А. К., Шерстюк Ю. М. Технология программирования. Вып. 2. Математическая логика и элементы теории логического программирования. (Учебное пособие) / Под ред. Ю.М. Шерстюка — СПб.: СПВВИУС, 1997. — 88 с.
Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции.— М.: Мир, 1977.
Мигас С. С., Шерстюк Ю. М. Технология программирования. Вып. 7: Основы теории компиляции: Учеб. Пособие. — СПб.: ВУС, 1999. — 86 с.
Лейнсоо А. А., Шерстюк Ю. М. Алгоритм эволюционного синтеза плана размещения информационных объектов // Модели и методы исследования информационных сетей. Сб. научных трудов Академии региональных проблем информации и управления. Вып. 3. — СПб.:Тема, 1999. — с. 121–124.
Лейнсоо А. А. Подход к формированию логической структуры распределенной информационной системы с интеграцией существующих баз данных // Сб. научных трудов "Модели и методы исследования информационных сетей". Вып. 1, СПб.: Тема, 1999. с. 24–28.
Опубликован
2002-02-01
Как цитировать
Макшанов, & Шерстюк,. (2002). Применение автоматов с магазинной памятью для решения комбинаторных задач. Труды СПИИРАН, 1(1), 282-296. https://doi.org/10.15622/sp.1.20
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
