ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ЦЭМИ РАН |
||
Для линейных автоматов, функционирующих над бесконечными структурами (поле рациональных чисел, кольцо двоично-рациональных) исследованы вопросы полноты по операциям К и А замыкания. Приведены критерии А-полноты для систем линейных автоматов над двоично-рациональными числами, содержащих добавку в виде сумматора либо всех не более чем одноместных автоматов.