Лямбдадельта 2003

(χХ*) λА*(qА, χ) = λВ*(qВ, χ). (qА QА) (qВ QВ) (xХ) δА×В ((qА, qВ) x ) = (δА(qА, x), δВ(qВ, x));