Affordable Access

СЛОЖНОСТЬ МЕТОДА ФОРМАЛЬНОГО КОДИРОВАНИЯ ПРИ АНАЛИЗЕ ГЕНЕРАТОРА С ПОЛНОЦИКЛОВОЙ ФУНКЦИЕЙ ПЕРЕХОДОВ

Authors
Publisher
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Национальный исследовательский Томский государственный университет"
Publication Date

Abstract

Autonomous automata are investigated where automaton states are binary n-dimensional vectors and transition function releases monocycle substitution. The complexity Tn of solving gamma generator equations system by formal coding method is estimated assuming the number of equations is not constrained. Bounds of Tn are obtained by estimating line complexity and monomial sets order for output functions sequence. It is stated that TL(2n-1)

There are no comments yet on this publication. Be the first to share your thoughts.