Synchronization of automata with one undefined or ambiguous transition

Martyugin, Pavel V.

doi:10.1007/978-3-642-31606-7_24

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://elar.urfu.ru/handle/10995/51187

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Martyugin, Pavel V.	en
dc.date.accessioned	2017-09-04T14:45:28Z	-
dc.date.available	2017-09-04T14:45:28Z	-
dc.date.issued	2012	-
dc.identifier.issn	0302-9743	-
dc.identifier.issn	1611-3349	-
dc.identifier.other	1	good_DOI
dc.identifier.other	af9dee32-4683-4627-9e38-a0bba6f6da0d	pure_uuid
dc.identifier.other	http://www.scopus.com/inward/record.url?partnerID=8YFLogxK&scp=84866639031	m
dc.identifier.uri	http://elar.urfu.ru/handle/10995/51187	-
dc.description.abstract	We consider the careful synchronization of partial automata with only one undefined transition and the generalized synchronization of nondeterministic automata with only one ambiguous transition. For each of the two cases we prove that the problem of checking whether or not a given automaton is synchronizable is PSPACE-complete. The restrictions of these problems to 2-letter automata are also PSPACE-complete. © 2012 Springer-Verlag.	en
dc.language.iso	en	en
dc.publisher	Lecture Notes in Computer Science	en
dc.source	Lecture Notes in Computer Science	en
dc.subject	CAREFUL SYNCHRONIZATION	en
dc.subject	COMPUTATIONAL COMPLEXITY	en
dc.subject	NONDETERMINISTIC AUTOMATA	en
dc.subject	SYNCHRONIZING WORDS	en
dc.title	Synchronization of automata with one undefined or ambiguous transition	en
dc.type	Conference Paper	en
dc.type	info:eu-repo/semantics/publishedVersion	en
dc.type	info:eu-repo/semantics/conferenceObject	en
dc.conference.name	17th International Conference on Implementation and Application of Automata, CIAA 2012	en
dc.conference.date	17.07.2012-20.07.2012	-
dc.identifier.doi	10.1007/978-3-642-31606-7_24	-
dc.identifier.scopus	84866639031	-
local.contributor.employee	Мартюгин Павел Владимирович	ru
local.description.firstpage	278	-
local.description.lastpage	288	-
local.issue	17	-
local.volume	7381 LNCS	-
local.contributor.department	Институт естественных наук и математики	ru
local.identifier.pure	1074266	-
local.identifier.eid	2-s2.0-84866639031	-
Располагается в коллекциях:	Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC

Файлы этого ресурса:

Нет файлов, ассоциированных с этим ресурсом.

Показать базовое описание ресурса Статистика

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.