- Added parsing of process expressions.

- Added alphabet_reduce algorithm.