Условия А-полноты для конечных автоматов, ч.1книга