德里克·霍尔特(Derek F.Holt)。 单词组有实时单词问题。 (英语) Zbl 1083.20507号 国际代数计算杂志。 10,第2期,221-227(2000). 引言中:设(G=langleX\rangle)为有限生成群,设(a=X\cupX^{-1}),设(a ^*\)为(a\)中所有单词的集合。对于A^*\中的\(u,v\),我们用\(\overline u\)表示\(G\)中\(u\)的图像。关于\(X\)的\(G\)的单词问题\(W_X(G)\)被定义为集合\(A^*\mid\overline u=1\}\)。我们感兴趣的是确定那些(W_X(G))位于特定形式语言类中的群。很容易证明\(W_X(G)\)是正则语言当且仅当\(G)是有限的。更深层次的结果是D.E.穆勒和P.E.舒普《计算系统科学杂志》26,295-310(1983;Zbl 0537.20011号); 西奥。计算。科学。37, 51-75 (1985;Zbl 0605.03005号)]是指(W_X(G))是确定性上下文无关的,如果它是非确定性上下文无关,如果它有一个有限指标的自由子群。在本文中,我们考虑了一类确定性实时语言。对于有限字母表(a),如果一种语言(L子集a^*)可以被某个整数(n geq 0)的磁带确定性实时图灵机识别,则称其为实时可识别(或简称为实时)。非正式地说,一种语言是实时的,前提是并且只有当计算机以恒定的速度读取输入并在输入结束时停止时,它才能被识别。它是已知的(例如,参见J.M.阿隆索等【从几何观点看群论】,《程序研讨会》,Trieste,1990年。新加坡:世界科学。3-63 (1991;Zbl 0849.20023号)])单词双曲群中的单词问题在线性时间内是可识别的。本文的主要结果(定理3.1)是,(W_X(G))是这类群的实时语言。 引用于16文件 MSC公司: 20F05型 组的生成器、关系和表示 2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系(群体理论方面) 20楼67 双曲群和非正曲群 65年第68季度 形式语言和自动机 关键词:有限生成群;单词问题;形式语言;图灵机器;单词超数群;实时语言 引文:Zbl 0537.20011号;Zbl 0605.03005号;Zbl 0849.20023号 PDF格式BibTeX公司 XML格式引用 \textit{D.F.Holt},《国际代数计算》。10,第2号,221--227(2000;Zbl 1083.20507) 全文: 内政部 参考文献: [1] 内政部:10.1090/S0002-9947-1965-0170805-7·doi:10.1090/S0002-9947-1965-0170805-7 [2] DOI:10.1016/0022-0000(83)90003-X·Zbl 0537.20011号 ·doi:10.1016/0022-0000(83)90003-X [3] 内政部:10.1016/0304-3975(85)90087-8·Zbl 0605.03005号 ·doi:10.1016/0304-3975(85)90087-8 [4] DOI:10.1007/BF02759719·Zbl 0156.25603号 ·doi:10.1007/BF02759719 [5] 内政部:10.1016/0196-6774(85)90031-8·兹比尔0591.20037 ·doi:10.1016/0196-6774(85)90031-8 [6] 内政部:10.1145/321420.321423·Zbl 0153.00902号 ·数字对象标识代码:10.1145/321420.321423 [7] 内政部:10.1142/S0218196794000129·Zbl 0832.20052号 ·doi:10.1142/S0218196794000129 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。