расширенный поиск
Дата публикации: 2009
Дата публикации в реестре: 2020-02-28T09:47:15Z
На примере многоленточных автоматов предлагается общий подход решения фундаментальных проблем моделей вычислений: эквивалентности, эквивалентных преобразований, минимизации. Подход основан на построении и использовании эквивалентных преобразований
Тип: Article