Об одной полугрупповой модели программ, определяемой при помощи двухленточных автоматовстатья