Доминаторы в компиляторах: основы DAG и их применение