×
加琳娜·吉尔亚斯科娃;乔瓦尼·皮奇奇尼

将自验证自动机转换为确定性自动机。 （英语） Zbl 1234.68214号

Dediu，Adrian Horia（编辑）等人，《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00981-5/pbk）。计算机科学课堂讲稿5457458-468（2009）。
摘要：自校验自动机是有限自动机的一种特殊变体，具有对称的不确定性。本文从描述复杂性的角度研究了自校验自动机到确定性自动机的转换。主要结果是这种模拟的确切成本，即状态数。
关于整个系列，请参见[Zbl 1158.68001号].

引用于1文件

MSC公司：

第68季度第45季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
\textit{G.Jirásková}和\textit{G.Pighizini}，莱克特。注释计算。科学。5457458--468（2009年；Zbl 1234.68214）
全文： 内政部

参考文献：

[1] Goldstine，J.、Kappes，M.、Kintala，C.M.R.、Leung，H.、Malcher，A.、Wotschke，D.：资源有限的机器的描述复杂性。加州大学学报8（2），193–234（2002）·Zbl 1258.68058号
[2] Rabin，M.，Scott，D.：有限自动机及其决策问题。IBM J.Res.Develop公司。 3, 114–125 (1959) ·Zbl 0158.25404号 ·doi:10.1147/rd.32.0114
[3] 卢帕诺夫：两种有限自动机的比较。Problemy Kibernet 6，321–326（1963）（俄语）；德文翻译：《基伯内提克问题》第6卷第329页至第335页（1966年）
[4] Moore，F.：关于确定性、非确定性和双向有限自动机等价性证明中状态集大小的界。IEEE计算机汇刊C-20（10），1211–1214（1971）·Zbl 0229.94033号 ·doi:10.10109/T-C.19971.223108文件
[5] Meyer，A.R.，Fischer，M.J.：自动机、语法和形式系统的描述经济。In：程序。年第12届IEEE交响乐。关于交换和自动机理论，第188–191页（1971）·doi:10.1109/SWAT.1971.11
[6] Ďuriš，P.，Hromkovič，J.，Rolim，J.，Schnitger，G.：单向通信复杂性、有限自动机和多项式时间计算的拉斯维加斯与决定论。收录：Reischuk，R.，Morvan，M.（编辑）STACS 1997。LNCS，第1200卷，第117-128页。施普林格，海德堡（1997）·doi:10.1007/BFb0023453
[7] Hromković，J.，Schnitger，G.：具有有限数量通知位的非确定性通信。SIAM J.计算。 33(1), 43–68 (2003) ·Zbl 1040.68046号 ·doi:10.1137/S0097539702414622
[8] Hromković，J.，Schnitger，G.：关于拉斯维加斯单向通信复杂性、OBDD和有限自动机的力量。信息与计算169（2），284–296（2001）·Zbl 1007.68065号 ·doi:10.1006/inco.2001.3040
[9] Assent，I.，Seibert，S.：将自验证自动机转换为确定性自动机的上限。理论信息学与应用41（3），261–265（2007）·Zbl 1130.68067号 ·doi:10.1051/ita:2007017
[10] Moon，J.，Moser，L.：关于图中的团。以色列J.数学。 3, 23–28 (1965) ·Zbl 0144.23205号 ·doi:10.1007/BF02760024
[11] Chrobak，M.：有限自动机和一元语言。理论计算机科学47，149–158（1986）；勘误表。同上302、497–498（2003）·兹伯利0638.68096 ·doi:10.1016/0304-3975（86）90142-8
[12] Mera，F.，Pighizzini，G.：互补一元非确定性自动机。理论计算机科学330（2），349–360（2005）·Zbl 1078.68091号 ·doi:10.1016/j.tcs.2004.04.015
[13] Holzer，M.，Salomaa，K.，Yu，S.：关于K元确定性有限自动机的状态复杂性。自动化杂志，语言与组合数学6（4），453–466（2001）·Zbl 1050.68093号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。