"Условия А-полносты для конечных автоматов." - читать интересную книгу автора (Буевич В.А. )