Розглянуто методи побудови гіпотез стосовно порядків росту функцій натурального аргументу за допомогою аналізу скінчених різниць, коли функція задана скінченим набором початкових значень. На прикладах конкретних автоматів розглянуто побудову гіпотез.
Ключові слова: автомат Мілі, функція росту, порядок росту, скінчена різниця.
There are considered methods of construction of hypotheses on growth order of a natural argument function by analysis of finite differences, if the function is defined by the finite set of first values. The considered methods are applied to certain examples of Mealy automata.
Key words: Mealy automaton, growth function, growth order, finite difference.
