Конечноавтоматная аппроксимация поведения линейных стационарных непрерывных объектов 1-го порядка

Показывается, что для линейных стационарных асимптотически устойчивых непрерывных объектов 1-го порядка при наложении ряда условий на источник входных сигналов всегда может быть построен конечный детерминированный автомат, такой, что при согласованных начальных состояниях объекта и автомата выходные сигналы последнего в любые наперед заданные (сколь угодно частые) дискретные моменты времени не будут отличаться от соответствующих выходных сигналов объекта, вырабатываемых в ответ на всевозможные допустимые входные сигналы, больше, чем на наперед заданную (сколь угодно малую, но ненулевую) величину.