Describir: Логические эксперименты с автоматами