A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
This paper is concerned with a study of inverse monoids presented by a set X subject to relations of the form e¡ = f¡, i € I, where e¡ and f¡ are Dyck words, i.e. idempotents of the free inverse monoid on X . Some general results of Stephen are used to reduce the word problem for such a presentation to the membership problem for a certain subtree of the Cayley graph of the free group on X . In the finitely presented case the word problem is solved by using Rabin's theorem on the second orderdoi:10.1090/s0002-9947-1993-1073775-x fatcat:5jhonep63verdc7hnzd4kxsqgm