×
艾斯布兰德·简·奥尔伯斯堡;亨德里克·扬（Hendrik Jan），胡格布姆（Hoogeboom）

正则跟踪语言某些问题的可判定性特征。 （英语） Zbl 0679.68132号

数学。系统。理论 22，第1期，第1-19页（1989年）.
摘要：研究了正则跟踪语言等价问题和不相交问题的可判定性。通过描述所涉及的独立关系的结构，给出了这些问题可判定的并发字母的精确特征。事实上，第一个问题是可判定的，当且仅当独立关系是传递的，而第二个问题是可判定的，当且仅当独立关系是所谓的传递森林。

引用于22文件

理学硕士：

65年第68季度 形式语言和自动机
03D60年 序数、容许集等的可计算性和递归理论。

关键词：

可判定性;等价问题;不相交问题;常规跟踪语言
PDF格式BibTeX公司 XML格式引用
\textit{I.J.Aalbersberg}和\textit{H.J.Hoogeboom}，数学。系统。理论22，第1号，1-19（1989；Zbl 0679.68132）
全文： 内政部

参考文献：

[1] IJ阿尔伯斯堡。J.和Engelfriet，J.，《痕迹语言的识别》，《技术报告86-18》，莱顿大学（1986年）。
[2] IJ阿尔伯斯堡。J.和Hoogeboom，H.J.，正则跟踪语言的可判定性问题，Proc。ICALP 87（Th.Ottmann，ed.），《计算机科学讲义》，第267卷，柏林斯普林格·弗拉格出版社（1987年），第250-259页。
[3] IJ阿尔伯斯堡。J.和Rozenberg，G.，《痕迹、依赖关系图和DNLC语法》，《离散应用程序》。数学。，11 (1985), 299–306. ·兹比尔0601.68045 ·doi:10.1016/0166-218X（85）90080-0
[4] IJ阿尔伯斯堡。J.和Rozenberg，G.，《痕迹理论》，理论。计算。科学。，60 (1988), 1–82. ·Zbl 0652.68017号 ·doi:10.1016/0304-3975（88）90051-5
[5] IJ阿尔伯斯堡。J.和Welzl，E.，由常规字符串语言定义的跟踪语言，RAIRO Inform。Théor。，20 (1986), 103–119. ·Zbl 0612.68071号
[6] Berstel，J.，《转喻和无语境语言》，斯图加特特伯纳出版社（1979年）·Zbl 0424.68040号
[7] Berstel，J.和Perrin，D.，《代码理论》，纽约学术出版社（1985年）·Zbl 0587.68066号
[8] Bertoni，A.、Brambilla，M.、Mauri，G.和Sabadini，N.，自由部分交换幺半群理论的应用：迹语言的渐近密度，Proc。MFCS 81（J.Gruska和M.Chytil，eds.），《计算机科学讲义》，第118卷，柏林斯普林格-弗拉格出版社（1981年），第205-215页·Zbl 0468.68081号
[9] Bertoni，A.、Mauri，G.和Sabadini，N.，正则跟踪语言的等价性和成员问题，Proc。ICALP 82（M.Nielsen和E.M.Schmidt编辑），《计算机科学讲义》，第140卷，施普林格出版社，柏林（1982年），第61–71页·Zbl 0486.68079号
[10] Bertoni，A.、Mauri，G.和Sabadini，N.，《无歧义规则追踪语言》，《数学学会学术讨论会》，János Bolyai 42，北荷兰，阿姆斯特丹（1985），第113-123页·Zbl 0627.68060号
[11] Berstel，J.和Sakarovitch，J.，有理集理论的最新结果，Proc。MFCS 86（J.Gruska、B.Rovan和J.Wiedermann，eds.），《计算机科学讲义》，第233卷，Springer-Verlag，柏林（1986），第15-28页·Zbl 0618.68070号
[12] Cartier，P.和Foata，D.，《Problèmes combinetoires de communications et réarrangements》，《数学课堂讲稿》，第85卷，施普林格-弗拉格出版社，柏林（1969年）·Zbl 0186.30101号
[13] Choffrut，C.，《自由部分交换幺半群》，第86-20号报告，巴黎第七大学，巴黎（1986年）。
[14] Chrobak，M.和Rytter，W.，部分交换幺半群的唯一可解性，基金。通知。，X（1987），323–336·Zbl 0634.94014号
[15] Clerbout，M.和Latteux，M.，《部分交换和忠实理性转导》，理论。计算。科学。，34 (1984), 241–254. ·Zbl 0548.68073号 ·doi:10.1016/0304-3975（84）90053-7
[16] Cori，R.和Metivier，Y.，部分阿贝尔半群的可识别子集，定理。计算。科学。，35 (1985), 179–189. ·Zbl 0559.20040 ·doi:10.1016/0304-3975（85）90013-1
[17] Cori，R.和Perrin，D.，《自动与交换部分》，RAIRO Inform。泰戈尔。，19 (1985), 21–32. ·Zbl 0601.68055号
[18] Duboc，C.，《自由兑换：联合国干部制度》，鲁昂鲁昂大学论文（1986年）。
[19] Flé，M.P.和Roucairol，G.，使用FIFO网的迭代事务的公平可串行性，Petri网的进展（G.Rozenberg，ed.），计算机科学讲义，第188卷，Springer Verlag，柏林（1985），第154–168页·Zbl 0562.68018号
[20] Gibbons，A.和Rytter，W.，关于自由部分交换幺半群的有理子集的一些问题的可判定性，Theoret。计算。科学。，48 (1986), 329–337. ·Zbl 0638.68084号 ·doi:10.1016/0304-3975（86）90101-5
[21] Ginsburg，S.，《上下文无关语言的数学理论》，McGraw-Hill，纽约（1966年）·Zbl 0184.28401号
[22] Harary，F.，图论，Addison-Wesley，Reading，MA（1969）。
[23] Harrison，M.A.，《形式语言理论导论》，Addison-Wesley，Reading，MA（1978年）·Zbl 0411.68058号
[24] Hopcroft，J.E.和Ullman，J.D.，自动机理论、语言和计算导论，Addison Wesley，Reading，MA（1979）·Zbl 0426.68001号
[25] O.H.Ibarra，《反向有界多计数器机器及其决策问题》，J.Assoc.Compute。机器。，25 (1978), 116–133. ·Zbl 0365.68059号
[26] Mazurkiewicz，A.，并发程序方案及其解释，DAIMI报告PB-78，奥胡斯大学，Arhus（1977）。
[27] Mazurkiewicz，A.，《痕迹、历史、图形：过程幺半群的实例》，Proc。MFCS 84（M.P.Chytil和V.Koubek编辑），《计算机科学讲义》，第176卷，施普林格-弗拉格出版社，柏林（1984年），第115-133页·Zbl 0577.68061号
[28] Mazurkiewicz，A.，《并发系统的语义：模块化定点跟踪方法》，《Petri网的进展》（G.Rozenberg，ed.），《计算机科学讲义》，第188卷，柏林斯普林格-弗拉格出版社（1985），第353–375页。
[29] Métiver，Y.，Une condition sufficate de reconfisabilityédans un monoide partitlelement communif，RAIRO Inform，《不满足充分侦察条件的非单边部分交换》。泰戈尔。，20 (1986), 121–127.
[30] Minsky，M.L.，《图灵机器理论中Post的“标签”问题和其他主题的递归不可解性》，《数学年鉴》。，74 (1961), 437–455. ·Zbl 0105.00802号 ·doi:10.2307/1970290
[31] Minsky，M.L.，《计算：有限和无限机器》，Prentice-Hall，伦敦（1967）·Zbl 0195.02402号
[32] Sardinas，A.A.和Patterson，C.W.，编码消息唯一分解的充要条件，I.R.E.Internalt。Conv.Rec.，8（1953），104–108。
[33] Wolk，E.S.，关于“树的可比性图”的注释，Proc。阿默尔。数学。《社会学杂志》，16（1965），17-20·Zbl 0137.18105号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。