Ви є тут

Распознавание некоторых свойств автоматных алгебр