Browsing CS Technical Reports by Author "Driscoll, Evan"
Now showing items 2-2 of 2
-
WALi: Nested-Word Automata
Driscoll, Evan; Thakur, Aditya; Burton, Amanda; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2011)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 ...