F. J. Esparza

Learn More
In this thesis, we consider equation systems of the form minimum and maximum. We call such an equation system positive and denote it in vector form by X = f (X). The least solution is called µ, i.e., µ is the least fixed point of f. Positive equation systems appear naturally in the analysis of stochastic models like stochastic context-free grammars (with(More)
  • 1