Теоретическая и действительная производительность контрольного автомата