Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

По вашему запросу найдено документов: 4416

Страница 2 из 442

О минимизации временных автоматовконечные автоматы

К покомпонентной оптимизации синхронной композиции автоматовдетерминированные автоматы

Трансформационные методы сравнения моделей на эквивалентностьдетерминированные автоматы

Метод идентификации обратимого автомата с известной функцией выходовавтоматы детерминированные

Some classes of finite state machines with polynomial length of distinguishing test casesконечные автоматы

Модели вычислений с однозначным покрытиемРассматриваются модели вычислений: конечные детерминированные и многоленточные автоматы

Языки программирования, формальные грамматики, конечные автоматы и методы трансляции : учебное пособиеЯзыки программирования, формальные грамматики, конечные автоматы и методы трансляции : учебное

Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениямиконечные автоматы

Программная реализация преобразования глобального полуавтомата во временной автоматконечные автоматы

Исследование свойств различающих последовательностей для двухбуквенных конечных автоматовконечные автоматы

Страница 2 из 442