268 KB0 KB201420262025Drnovšek, Tinaletnik:1212 str.številka:2ISSN:2385-8567COBISSID_HOST:250795011URN:URN:NBN:SI:doc-0LJAJ806slZaložba Fakultete za matematiko in fiziko Univerze v LjubljaniMatrikabesedni problemfree inverse semigroupsproste inverzne grupeword problemBesedni problem v prosti inverzni polgrupi|The article discusses the word problem in the free inverse semigroup. The first part covers the general theory of inverse semigroups. This is followed by a brief outline of the construction of the free inverse semigroup through free semigroup with involution. The paper then addresses the solution to the word problem, i.e., we describe an algorithm that determines when two words represent the same element in a free inverse semigroup. While there are several possible approaches to the solution, we present the solution using Scheiblich normal formsV članku je obravnavan besedni problem v prosti inverzni polgrupi. Prvi del zajema splošno teorijo inverzne polgrupe. V nadaljevanju je na kratko nakazana konstrukcija proste inverzne polgrupe preko proste polgrupe z involucijo. Temu sledi reševanje besednega problema, tj. iskanje algoritma, ki določa, kdaj dve besedi predstavljata enak element v prosti inverzni polgrupi. Znanih je več možnih pristopov k reševanju, v članku je predstavljena rešitev s pomočjo Scheiblichovih normalnih formTEXTznanstveno časopisjejournalsSlovenian National E-content AggregatorNational and University Library of SloveniaUniverza v Ljubljani, Fakulteta za matematiko in fiziko