SMS dit: Ч. 2; Условия А-полноты для конечных автоматов