Context-freeness of the languages of Schützenberger automata of HNN-extensions of finite inverse semigroups
Keyword(s):
We prove that the Sch?tzenberger graph of any element of the HNN-extension of a finite inverse semigroup S with respect to its standard presentation is a context-free graph in the sense of [11], showing that the language L recognized by this automaton is context-free. Finally we explicitly construct the grammar generating L, and from this fact we show that the word problem for an HNN-extension of a finite inverse semigroup S is decidable and lies in the complexity class of polynomial time problems.
1999 ◽
Vol 09
(05)
◽
pp. 555-596
◽
Keyword(s):
2007 ◽
Vol 142
(1)
◽
pp. 25-39
◽
Keyword(s):
2005 ◽
Vol 15
(03)
◽
pp. 423-436
◽
2001 ◽
Vol 70
(2)
◽
pp. 235-272
◽
2019 ◽
Vol 30
(02)
◽
pp. 217-243
Keyword(s):
1990 ◽
Vol 42
(6)
◽
pp. 1084-1097
◽
Keyword(s):
2008 ◽
Vol 19
(03)
◽
pp. 717-727
Keyword(s):