WALi: Nested-Word Automata

Evan Driscoll, Aditya Thakur, Amanda Burton, and Thomas Reps
University of Wisconsin

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.)