in this paper a certain class of polyhedral semigroups which has a presentation $$ is examined‎. ‎the completeness of the presentation and solvability of word problem of this class of semigroups is determined‎. ‎moreover the combinatorial distance between two words is determined‎.

We summarize the main known results involving subword reversing, a method of semigroup theory for constructing van Kampen diagrams by referring to a preferred direction. In good cases, the method provides a powerful tool for investigating presented (semi)groups. In particular, it leads to cancellativity and embeddability criteria for monoids and to efficient solutions for the word problem of mo...

Bjorner was the first to determine the Mobius functions of factor orders and subword orders. To determine the Mobius functions, he used involutions, shellability, and generating functions. [2][3][4] Bjorner and Stanley found an interesting relation among the subword order derived from a two point set {a, b} , symmetric groups and composition orders. [6] Factor orders, subword orders, and genera...

We describe a simple scheme for constructing finitely generated monoids in which left-divisibility is a linear ordering and for practically investigating these monoids. The approach is based on subword reversing, a general method of combinatorial group theory, and connected with Garside theory, here in a non-Noetherian context. As an application we describe several families of ordered groups wh...

In this paper a certain class of polyhedral semigroups which has a presentation $$ is examined‎. ‎The completeness of the presentation and solvability of word problem of this class of semigroups is determined‎. ‎Moreover the combinatorial distance between two words is determined‎.

We have been proposing a Spoken Term Detection (STD) method for Out-Of-Vocabulary (OOV) query terms using various subword units, such as monophone, triphone, demiphone, one third phone, and Sub-phonetic segment (SPS) models. In the proposed method, subword-based ASR is performed for all spoken documents and subword recognition results are generated using subword acoustic models and subword lang...