katydid-0.4.0.1: A haskell implementation of Katydid

Safe HaskellNone
LanguageHaskell2010

Data.Katydid.Relapse.VpaDerive

Description

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.

Synopsis

Documentation

derive :: Tree t => Grammar -> [t] -> Either String Pattern Source #

derive is the derivative implementation for trees. This implementation makes use of visual pushdown automata.