Skip to search formSkip to main contentSkip to account menu

Nested word

Known as: Nested word automata, Visibly pushdown automaton, Visibly pushdown language 
In computer science, more specifically in automata and formal language theory, nested words are a concept proposed by Alur and Madhusudan as a joint… 
Wikipedia (opens in a new tab)

Related topics

Related topics

24 relations
Automata theoryBoolean circuitChomsky hierarchyComputer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Neural Network-based Question Answering over Knowledge Graphs on Word and Character Level
Question Answering (QA) systems over Knowledge Graphs (KG) automatically answer natural language questions using facts contained… 
2015
2015
Descriptional complexity of unambiguous input-driven pushdown automata
2014
2014
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution)
Ultimate Automizer is an automatic software verification tool for C programs. This tool is a prototype implementation of an… 
2012
2012
A Temporal Logic for Multi-threaded Programs
Temporal logics for nested words are a specification formalism for procedural programs, since they express requirements about… 
2012
2012
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… 
2012
2012
The Boolean Formula Value Problem as Formal Language
The Boolean formula value problem asks for the Boolean output value of a given input formula. We code it as a formal language… 
2011
2011
Streamability of nested word transductions
We consider the problem of evaluating in streaming (i.e. in a single left-to-right pass) a nested word transduction with a… 
2008
2008
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns
We present an extension of past time LTL with call/return atoms, called ptCaRet , together with a monitor synthesis algorithm for… 
Highly Cited
2008
Highly Cited
2008
Weighted Logics for Nested Words and Algebraic Formal Power Series
Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper… 
2006
2006
Languages of Nested Trees
We study languages of nested trees—structures obtained by augmenting trees with sets of nested jump-edges. These graphs can… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)