Реальные программно-управляемые машины как физические модели абстрактных машин с размеченной памятью