б одной системе конечных множеств автоматных отображений, для которой задача об А-полноте алгоритмически разрешиматезисы доклада