Closures and Nondeterminism
Let's start with an example: every 1 has at least two 0s following immediately after. Reverse: every 1 has at least two 0s preceding it. Again, once we know the first, we can do its reverse mechanically (using Non Deterministic FSM). Notice that this...
