Match: Theory of computation