Восемь вариантов конечных автоматов для проверки выполнения отношения покрытия итераций двух конечных языков. Часть Iстатья