利亚林，I.V。 关于自动机方程的求解。 （英语。俄文原件） Zbl 1121.68066号 离散数学。申请。 14，第3期，287-300（2004）; 从Diskretn翻译。Mat.16，No.2，104-116（2004）。 小结：我们考虑在一个变量中求解自动机方程的问题。我们提出了一种确定给定方程是否有解的算法。我们引入了有界非确定性函数的概念。证明了如果一个自动机方程有解，则该方程的所有解集都嵌入到一个有界非确定性函数中，该函数可以在初始方程的基础上有效地构造。 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 05年3月 与逻辑问题相关的自动机和形式文法 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Lyalin}，离散数学。申请。14，No.3，104--116（2004；Zbl 1121.68066）；从Diskretn翻译。材料16，编号2，104--116（2004） 全文： 内政部 参考文献： [1] V.B.Kudryavtsev，S.V.Aleshin，A.S.Podkolzin，《自动机理论导论》。莫斯科瑙卡，1985年·Zbl 0604.68058号 [2] S.V.Yablonskii，离散数学导论。瑙卡，莫斯科，1979年。 [3] N.Evtushenko，T.Villa，A.Petrenko，P.Braiton，A.Sangovanni-Vincetelli，《逻辑综合中方程的求解》。光谱，托木斯克，1999年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。