OpenNWA swMATH ID: 33220 Software Authors: Evan Driscoll; Aditya Thakur; Thomas Reps Description: OpenNWA: A Nested-Word Automaton Library. Nested-word automata (NWAs) are a language formalism that helps bridge the gap between finite-state automata and pushdown automata. NWAs can express some context-free properties, such as parenthesis matching, yet retain all the desirable closure characteristics of finite-state automata. This paper describes OpenNWA, a C++ library for working with NWAs. The library provides the expected automata-theoretic operations, such as intersection, determinization, and complementation. It is packaged with WALi—the Weighted Automaton Library—and interoperates closely with the weighted pushdown system portions of WALi. Homepage: https://link.springer.com/chapter/10.1007/978-3-642-31424-7_47 Source Code: https://github.com/WaliDev/WALi-OpenNWA Related Software: VPAlib; GitHub; Java-MOP; Bebop; SPIN; BLAST; Antichains Cited in: 3 Publications all top 5 Cited by 9 Authors 1 Chiari, Michele 1 Chistikov, Dmitry V. 1 Friedmann, Oliver 1 Klaedtke, Felix 1 Lange, Martin 1 Mandrioli, Dino 1 Martyugin, Pavel V. 1 Pradella, Matteo 1 Shirmohammadi, Mahsa Cited in 1 Serial 1 ACM Transactions on Computational Logic Cited in 2 Fields 3 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year