卡尼维茨，V.A。 超词上有限模糊序列变换器比较问题的算法可解性。 （英语。俄文原件） 兹比尔0752.68057 控制论 25，第2期，132-138（1989）; 译自Kibernetika 1989年，第2期，第5-9期，第19期（1989年）。 摘要：利用有限和无限长词集上的拟恒等式，证明了有限自动机异步有限模糊映射在无限长词集中的比较和（d）-模糊问题的算法可解性。 MSC公司： 65年第68季度 形式语言和自动机 20立方米 自动机理论、语言学等中的半群。 关键词：比较问题;超词上的有限模糊序列变换器;算法可解性 PDF格式BibTeX公司 XML格式引用 \textit｛V.A.Kanivets｝，《控制论》第25卷，第2期，第132-138页（1989年；Zbl 0752.68057）；译自Kibernetika 1989，No.2，5--9,19（1989） 全文： DOI程序 参考文献： [1] K.I？ulik和J.K.Pachl？无限字符串上映射的等价问题，？信息控制，49，1，52？63 (1981). ·Zbl 0472.68045号 ·doi:10.1016/S0019-9958（81）90444-7 [2] V.N.Red'ko和L.P.Lisovik？半群中的正则事件，？问题。基伯。，37号、155号？184 (1980). [3] L.P.Lisovik？半群的刚性集和有限覆盖，？Kibernetika，1号，12号？16 (1980). ·Zbl 0491.20048号 [4] S.Ginsburg，无语境语言的数学理论[俄语翻译]，Mir，莫斯科（1970）·Zbl 0195.02301号 [5] A.V.Anisimov和L.P.Lisovik？有限自动机映射到自由半群和交换半群的等价问题，？Kibernetika，3号，1号？7 (1978). ·兹伯利0388.03015 [6] J.R.Büchi？关于限制二阶算法中的一种决策方法，？交响乐团。决策探测器。，第一节，数学。《逻辑》，斯坦福大学（1962），第1页？11 [7] R.McNaughton？用有限自动机测试和生成无限序列，？Inf Control，No.9，521？530 (1966). ·Zbl 0212.33902号 ·doi:10.1016/S0019-9958（66）80013-X 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。