Анализ задачи параметрической идентификации нелинейных автоматов над конечным кольцом

Abstract

Для автоматів Мілі та Мура над скінченним комутативно-асоціативним кільцем з одиницею, функція переходів яких визначена за допомогою нелінійних рівнянь другого ступеня, а функція виходу є відповідно лінійним та афінним відображенням, розв’язано задачу параметричної ідентифікації. Виділено параметри, які легко ідентифікувати, а також параметри, ідентифікувати які не так просто. Встановлено, що властивість «бути оборотним автоматом» взагалі не впливає на складність розв’язання задачі параметричної ідентифікації досліджуваних моделей.

For Mealy and Moore automata presented via quadric equations over any finite associative-commutative ring with the unit it is resolved the problem of parametric identification. There are extracted parameters identified easily and the ones that are hardly identified. It is established that for investigated automata the quality «to be reversible one» has no influence onto hardness of resolving of the problem of parametric identification.