Кузьмин, Е. В. Проблемы ограниченности счетчиковых машин Минского [Текст] : текст / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый // Доклады Академии наук. - 2008. - Т. 421, N 6, август. - С. 741-743. - Библиогр.: с. 743 . - ISSN 0869-5652
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): счетчиковые машины Минского -- Минского счетчиковые машины -- ограниченность -- тотальная ограниченность -- счетчиковые машины -- односчетчиковые машины -- двухсчетчиковые машины Аннотация: Исследуется разрешимость проблем ограниченности и тотальной ограниченности для счетчиковых машин Минского. Рассмотрение машин проводится с точки зрения моделирования и анализа программных систем. Доп.точки доступа: Соколов, В. А.; Чалый, Д. Ю. |