Talk:Dominator

From Wikipedia, the free encyclopedia

The definition of immediate dominator is tautological, it uses concept of immediate dominance without explaining what it is. If I understood correctly, immediate dominator would be defined as something like:

"Node d immediately dominates node n, if it is its dominator, and there exists no dominator of n that isn't also dominator of d"

Is that correct? Mathrick 11:39, 22 Apr 2005 (UTC)

I think your definition is correct, but I added a definition in terms of strict dominators, because this seems a little easier to understand. The original "definition" was quite silly. Deco 16:55, 22 Apr 2005 (UTC)