| Аннотацiя: |
Охаректеризовано множини нерухомих точок для автоматних відображень, які реалізують ініціальні автомати Мілі та Мура над довільним скінченним комутативно-асоціативним кільцем з одиницею. Встановлено критерії, при яких ці множини не є порожніми, а також достатні умови, при яких ці множини є нескінченими. |
