Свойство алгебраических систем из класса К называется инвари-аптным, если оно, будучи выполнено в некоторой системе А из класса К., выполняется также во всех изоморфных ей системах. Проблема распознавания данного свойства А класса алгебраических систем К состоит в построении алгоритма, распознающего по любой конечно определенной в К системе, выполняется ли в ней данное свойство. Инвариантное свойство А класса алгебраических систем К называется марковским, если существуют две конечно определенные в К системы, одна из которых обладает свойством А, а другая не вложима изоморфно ни в какую конечно определенную в К систему со свойством А (см. [1]).
展开▼
