WALi: Nested-Word Automata
Amanda Burton, Aditya Thakur, Evan Driscoll, 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.
Download this report (PDF)
Return to tech report index