WALi: Nested-Word Automata
Evan Driscoll, Aditya Thakur, Amanda Burton, and Thomas Reps
WALi-NWA is a C++ library for constructing, querying, and operating on
nested-word automata. It is a portion of the WALi library, which
provides types and operations for weighted automata. While the NWA
portions of WALi are mostly logically separate from the rest of WALi, it
does use facilities provided by WALi and inter-operates with WALi's
weighted pushdown system (WPDS) code.
(Click here to access the paper:
PDF.)
University of Wisconsin