WALi: Nested-Word Automata
| dc.contributor.author | Driscoll, Evan | en_US |
| dc.contributor.author | Thakur, Aditya | en_US |
| dc.contributor.author | Burton, Amanda | en_US |
| dc.contributor.author | Reps, Thomas | en_US |
| dc.date.accessioned | 2012-03-15T17:24:57Z | |
| dc.date.available | 2012-03-15T17:24:57Z | |
| dc.date.created | 2011 | en_US |
| dc.date.issued | 2011 | en_US |
| dc.identifier.citation | TR1675 | en_US |
| dc.identifier.uri | http://digital.library.wisc.edu/1793/60708 | |
| dc.description.abstract | 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. | en_US |
| dc.format.mimetype | application/pdf | en_US |
| dc.publisher | University of Wisconsin-Madison Department of Computer Sciences | en_US |
| dc.title | WALi: Nested-Word Automata | en_US |
| dc.type | Technical Report | en_US |
Files in this item
This item appears in the following Collection(s)
-
CS Technical Reports
Technical Reports Archive for the Department of Computer Sciences at the University of Wisconsin-Madison