Локальный тест на включение в задаче о достижимости для вполне структурированных систем переходов

Чубаров, Д.Л.

dc.contributor.author	Чубаров, Д.Л.
dc.date.accessioned	2014-10-17T12:37:09Z
dc.date.available	2014-10-17T12:37:09Z
dc.date.issued	2006
dc.identifier.citation	Чубаров Д.Л. Локальный тест на включение в задаче о достижимости для вполне структурированных систем переходов // Вестник НГУ. Серия: Математика. 2006. Т.6. Вып.3. С. 88–97.	ru_RU
dc.identifier.uri	https://lib.nsu.ru/xmlui/handle/nsu/1848
dc.description.abstract	Рассматривается процедура построения дерева достижимости для систем с бесконечным числом состояний в символьном представлении. Показано, что вариант процедуры с локальным тестом на включение является разрешающей процедурой в задаче о покрываемости для вполне структурированных систем переходов.	ru_RU
dc.language.iso	ru	ru_RU
dc.publisher	Новосибирский государственный университет	ru_RU
dc.title	Локальный тест на включение в задаче о достижимости для вполне структурированных систем переходов	ru_RU
dc.title.alternative	Local entailment test in the reachability problem for well structured transition systems	ru_RU
dc.type	Article	ru_RU