×

关于通过常数输入稳定在固定状态的有限自动机的数量。 (英语。俄文原件) Zbl 0817.68108号

离散数学。申请。 4,第5期,473-478(1994); 从Diskretn翻译。材料6,第4号,80-86(1994年)。
摘要:如果(g(S^*,X)=S^*),有限自动机(F(S,X,g))通过一个常量输入稳定在S中的状态(S^*\),并且对于S中的任何一个序列(S_0=S\),(S_{t+1}=g(S_t,X),(t=0.1,\dots\)包含作为元素的\(S^**)。在(F(S,X,g)是模(m)剩余类群上的移位寄存器的情况下,我们证明了通过常数输入(X)稳定在状态(S^*)的有限自动机的数(|N_{X,S^*})等于(m^{m^N-N-1})。

MSC公司:

65年第68季度 形式语言和自动机

关键词:

有限自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部