Конечный детерминированный автомат является одной из наиболее используемых математических моделей при описании сложных систем дискретного типа. Традиционно поведение моделируемых объектов рассматривается с преобразовательной точки зрения, то есть изучается механизм преобразования входных последовательностей (воздействий) в выходные (реакции).
