WALi: Nested-Word Automata

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

WALi-NWA is a library implementing Nested-Word Automata (NWAs) and related concepts. The library is an extension to the WALi library for performing operations on weighted pushdown systems; both libraries are written in C++. We define NWAs and related concepts, and provide a description of the API of the WALi-NWA library.

(Click here to access the paper: PDF.)