Конечно порожденные структуры, вычислимые за полиномиальное время

Получено простое описание конечно порожденных структур, обладающих изоморфным представлением, вычислимым за полиномиальное время (P-вычислимых). Описание близко к формулировке теоремы Реммела и Фридмана. Доказано, что любая конечно порожденная подструктура P-вычислимой структуры также обладает P-вычислимым представлением. Полученное описание применяется к классам конечно порожденных полугрупп, групп, коммутативных колец с единицей и полей, а также упорядоченных коммутативных колец с единицей и полей. Доказано, что любое конечно порожденное коммутативное кольцо или поле обладают P-вычислимым представлением.