Fixed Point Principles in Language Theory
Stir a cup of coffee with a spoon. It is a well-known fact of popular mathematics that some point in the coffee will be in its initial position after the stir. This drop of coffee is called a fixed point. Fixed points are extremely important objects in mathematics and computer science. In numerical methods, fixed points can be used to find roots of equations; in programming semantics, fixed point methods can be used to find the semantics (the meaning) of a program. Fixed point methods are useful in language theory too.
Unable to display preview. Download preview PDF.