Следовательно, с каждым инициальным автоматом связана функция, определенная на множестве слов входного алфавита и принимающая ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Верзаков Г.Ф. Введение в техническую диагностику


Следовательно, с каждым инициальным автоматом связана функция, определенная на множестве слов входного алфавита и принимающая значения на множестве слов выходного алфавита. Эту функцию называют поведением инициального автомата. Два инициальных автомата назовем эквивалентными, если они имеют одинаковое поведение. Это означает эквивалентность любых моделей, интерпретирующих одно физическое устройство.

(cкачать страницу)

Смотреть книгу на libgen

Следовательно,  с каждым инициальным автоматом связана функция,  определенная на множестве слов входного алфавита и принимающая значения на множестве слов выходного алфавита.  Эту функцию называют поведением инициального автомата.  Два инициальных автомата назовем эквивалентными,  если они имеют одинаковое поведение.  Это означает эквивалентность любых моделей,  интерпретирующих одно физическое устройство.