Theory of computation examples and implementations.