安东尼奥·雷斯蒂沃 规范和本地约束。 （英语） Zbl 0693.68047号 西奥。计算。科学。 72，No.1，55-64（1990）. 摘要：我们考虑局部约束，即通过指定一个有限的禁止字集合H来定义可用字的集合T，这些禁止字在任何地方都不会作为T字中的因子出现。局部约束出现在许多工程应用中。此外，我们展示了他们的理论兴趣：T的局部性在我们的大多数结果中确实起着重要作用。 引用于16文件 MSC公司： 65年第68季度 形式语言和自动机 94B99型 纠错码和检错码理论 关键词：语言;自动机;代码;约束系统 PDF格式BibTeX公司 XML格式引用 \文本{A.Restivo}，Theor。计算。科学。72，编号1，55--64（1990；Zbl 0693.68047） 全文： 内政部 参考文献： [1] 阿德勒，R。；科珀史密斯，D。；Hassner，M.，滑动块代码算法，IEEE Trans。通知。理论，29，5-22（1983）·兹比尔0499.94009 [2] 阿德勒，R。；弗里德曼，J。；厨房，B。；Marcus，B.，变长图的状态分裂，IEEE Trans。通知。理论，32，108-112（1986）·Zbl 0591.94017号 [3] Béal，M.P.，《代码循环》，自动机locaux et entropie，Theoret。计算。科学。，57, 283-302 (1988) ·Zbl 0649.94018号 [4] 贝亚尔，M.P。；Perrin，D.，《沙发合奏的不确定性》，C.R.Acad。科学。巴黎，303255-257（1986）·Zbl 0605.68068号 [5] 伯斯特尔，J。；佩林，D.，《代码理论》（1985），学术出版社：纽约学术出版社·Zbl 1022.94506号 [6] 布兰查德，F。；Hansel，G.，《鳕鱼系统》，Theoret。计算。科学。，44, 17-49 (1986) ·Zbl 0601.68056号 [7] 德卢卡，A。；Restivo，A.，《严格局部可测试语言的特征及其在自由半群的子半群中的应用》，Inform。和控制，44，300-319（1980）·Zbl 0441.68087号 [8] 艾伦伯格，S.，《自动化，语言和机器》（1974），学术出版社：纽约学术出版社·Zbl 0317.94045号 [9] Franaszek，P.A.，《离散无噪声信道的同步可变长度编码》，Inform。和控制，115-164（1969）·Zbl 0185.47504号 [10] Franaszek，P.A.，信道编码的一般方法，IBM J.Res.Dev.，24638-641（1980）·Zbl 0438.94006号 [11] Franaszek，P.A.，离散无噪声信道中有界延迟码的构造，IBM J.Res Dev.，26，506-514（1982）·Zbl 0499.94020号 [12] Marcus，B.，Sofic系统和编码数据，IEEE Trans。通知。理论，31366-377（1985）·Zbl 0568.94015号 [13] Restivo，A.，关于McNaughton和Papert的问题，Inform。和控制，25，93-101（1974）·Zbl 0279.68054号 [14] Restivo，A.，具有有限同步延迟的代码的组合特性，Theoret。计算。科学。，1, 95-101 (1975) ·Zbl 0381.94017号 [15] Restivo，A.，《有约束的代码》，Report Dip。巴勒莫（1986） [16] Schützenberger，M.P.，Sor certaines opérations de fermature dans les lungages rationnels，Sympos。数学。，15, 245-256 (1975) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。