Автоматы регистровые
Автоматы регистровые — бесконечные автоматы специального вида, предназначенные для построения математических моделей, возможно более близких К структурам современных вычислительных машин. В основе определения «автомат регистровый»