Часть 3. Математические модели

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

И. В. Молдованов

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: У линейных дефинитных автоматов выходные сигналы в каждый момент зависят лишь от ограниченного числа последних входных значений. В работе исследуется вопрос функциональной полноты относительно оператора аппроксимационного замыкания для класса линейных дефинитных автоматов над полем из двух элементов. Для обозначенного множества автоматов получен критерий полноты, сформулированный в виде системы предполных классов.

Ключевые слова: аппроксимационное замыкание, линейные автоматы, дефинитные автоматы.