Формальные автоматы 36 дискретно детерминированные модели f схемы