Safe Haskell | None |
---|---|

Language | Haskell2010 |

This module contains a VPA (Visibly Pushdown Automaton) implementation of the internal derivative algorithm.

It is intended to be used for explanation purposes.

It shows how our algorithm is effectively equivalent to a visibly pushdown automaton.