Ви є тут

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