Алгебраические модели программ и автоматыстатья