Алгоритмы с конечной памятью над дизъюнктивными нормальными формамистатья