罗纳德·V·布克。（编辑） [南卡罗来纳州金斯堡。;Brzozowski，J。;J.M.奥特伯特。;博阿森，L。;J.Beauquier。;M.Latteux。;卡雷尔·库利克二世;G.罗森伯格。;Engelfriet，J。;I.H.苏德堡。;阿霍，A.V。;Huet，G。;哥伦比亚特区奥本。;M.尼瓦特。;J.戈德斯汀。;A.萨洛马。;B.莫尼恩。] 形式语言理论。观点和悬而未决的问题。（1979年12月10日至14日在加利福尼亚州圣巴巴拉举行的研讨会记录）。 （英语） Zbl 0545.68065号 纽约等：学术出版社，Harcourt Brace Jovanovich的子公司，出版商。十三、 第454页，25.00美元（1980年）。 内容：S.Ginsburg，指定形式语言族的方法-过去-现在-未来（第1-22页）；J.Brzozowski，关于正则语言的开放问题（第23-47页）；J.M.Autebert和L.Boasson，《锥体和圆柱体生成器》（第49-87页）；J.M.Autebert、J.Beauquier、L.Boasson和M.Latteux，代数非有理语言的极小族（第89-108页）；J.Goldstine，《形式语言及其与自动机的关系：霍普克罗夫特和乌尔曼没有告诉我们的东西》（第109-140页）；A.Salomaa，《自由幺半群的形态与语言理论》（第141-166页）；K.Culik II，《同态：可判定性、等式和测试集》（第167-194页）；G.Rozenberg，L系统数学理论中结果和开放问题的调查（第195-239页）；J.Engelfriet，关于树变换器和树语言的一些开放问题和最新结果（第241-286页）；B.Monien和I.H.Sudborough，语言理论和复杂性理论之间的接口（第287-323页）；A.V.Aho，《字符串中的模式匹配》（第325-347页）；G.Huet和D.C.Oppen，《等式和重写规则：调查》（第349-405页）；J.Beauquier和M.Nivat，形式语言理论在安全和同步问题中的应用（第407-454页）。论文将不会单独审查。 引用于5评论引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 68-06 与计算机科学有关的会议记录、会议、收藏等 20毫米35 自动机理论、语言学等中的半群。 第68季度第42季度 语法和重写系统 关键词：形式语言理论;诉讼程序;研讨会;加州圣巴巴拉;形式语言;常规语言;锥体;气缸;代数非有理语言;自由幺半群;同态;L系统;树形换能器;树语言;复杂性;模式匹配;安全;同步 PDF格式BibTeX公司 XML格式