Meaning of symbol in set theory?

Hi,
      I'm reading some of Tarjans old papers and he uses set theory alot when
      applied to graphs. BTW, he writes a lot: about 183 papers so far. :)


      My question is what is the meaning of the symbol of the backwards
capital E that is sometimes in bold. It is used in his paper on Depth
First Search and others.


      Also in the above mentioned paper it talks about "Biconnectivity",
"Strong Connectivity" and "Triconectivity" along with "fronds" and
"cross-links". Have these concept ever been applied to Compilers and
such? My compiler books mention DFS but don't address the
connectivity issues.


      While I'm asking, do any papers for compilers try to apply Group
Theory besides just Graph and Set Theory? The only paper I came
across by Tarjan mentioned semigroups. I'll have to dig out a book on
this to find the meaning of this term or go to the mathematical web
page on its definition.


Thanks
--
Mike,
mikesw@whiterose.net
[It usually means "there exists", usually followed by a symbol, then a
vertical bar read as "such that" and an expression including the symbol.
-John]

Return to the comp.compilers page.
Search the comp.compilers archives again.