%0 Journal Article %A A. S. Zolotov %T On the application of finite-state machines to the investigation of the fixed-point theory decidability %J Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika %D 2016 %P 103-115 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/VTPMK_2016_1_a7/ %G ru %F VTPMK_2016_1_a7