О системах переписывания процессов высокого уровня

?

О системах переписывания процессов высокого уровня

С. 42–44.

Системы переписывания процессов (Process Rewrite Systems - PRS) Ричарда Майра представляют собой систему переписывания термов специального вида и задают унифицированное представление для конечных и магазинных автоматов, сетей Петри и некоторых классов алгебр процессов. В докладе рассматривается (P,P)-подкласс систем переписывания процессов, соответствующий классическим сетям Петри, и его расширение HPRS для моделирования систем с динамической структурой. Обсуждаются вопросы выразительности и разрешимости.

Язык: русский

Полный текст

DOI

Текст на другом сайте

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:

Модели процессов: проверка соответствия наблюдаемому поведению, автоматический синтез и анализ поведенческих свойств (2021)

В книге

Всероссийская научная конференция "Математические основы информатики и информационно-коммуникационных систем"

Тверь: ТвГУ, 2021.

О схлопывании вероятностных иерархий. I

Сперанский С. О., Алгебра и логика 2013 Т. 52 № 2 С. 236–254

Изучаются иерархии проблем общезначимости для префиксных фрагментов вероятностной логики с кванторами по пропозициональным формулам, обозначаемой QPL, и её вариантов. Доказывается: если подполе F вещественных чисел определимо в стандартной модели арифметики посредством формулы второго порядка, не содержащей кванторов по множествам, то проблема общезначимости над F-значными вероятностными структурами для $\Sigma_4$-QPL-предложений является $\Pi^1_1$-полной и, как следствие, соответствующая иерархия проблем общезначимости схлопывается. Более того, при ...

Добавлено: 27 декабря 2025 г.

Металогические приёмы в арабской ораторской речи

Крылов А. Ю., Восток. Афро-Азиатские общества: история и современность. Россия 2017

В статье рассматриваются некоторые металогические приёмы, используемые в современной арабской ораторской речи и оказывающие эффективное экспрессивно-эмоциональное воздействие на реципиента. Даётся описание ряда средств языковой выразительности, посредством которых реализуется эмотивная функция языка. ...

Добавлено: 29 августа 2017 г.

Металогические приёмы в арабской ораторской речи

Крылов А. Ю., Россия. ВOСТОК (ORIENS). Афро-азиатские общества: история и современность 2017

Добавлено: 29 августа 2017 г.

Как учат творческой письменной речи в Британии

Самородова Т. О., Иностранные языки: теория и практика 2013 № 1 С. 29–34

Статья посвящена детальному анализу методов обучения творческой письменной речи в британской высшей школы, придерживающейся традиции продвижения самостоятельности в исследованиях, развития творческой инициативы учащихся. Обосновывается мысль о целесообразности включения креативного письма в программу обучения, поскольку оно способствует повышению мотивированности обучения, формированию коммуникативных умений, культурному и профессиональному росту студентов. Обобщая опыт работы педагогов Оксфорда, Кэмбриджа и Итона, ...

Добавлено: 23 октября 2013 г.