Published 2007 | Published
Book Section - Chapter Open

Solving Commutative Relaxations of Word Problems

An error occurred while generating the citation.

Abstract

We present an algebraic characterization of the standard commutative relaxation of the word problem in terms of a polynomial equality. We then consider a variant of the commutative word problem, referred to as the "Zero-to-All reachability" problem. We show that this problem is equivalent to a finite number of commutative word problems, and we use this insight to derive necessary conditions for Zero-to-All reachability. We conclude with a set of illustrative examples.

Additional Information

© 2007 IEEE. Issue Date: 12-14 Dec. 2007; Date of Current Version: 21 January 2008. This research was supported by AFOSR MURI grant #102-108-0673.

Attached Files

Published - Tarraf2007p8396Proceedings_Of_The_46Th_Ieee_Conference_On_Decision_And_Control_Vols_1-14.pdf

Files

Tarraf2007p8396Proceedings_Of_The_46Th_Ieee_Conference_On_Decision_And_Control_Vols_1-14.pdf

Additional details

Created:
August 19, 2023
Modified:
January 13, 2024