We generalize the models of visibly pushdown automata (VPDAs) and visibly pushdown transducers (VPDTs) by equipping them with reversal-bounded counters. We show that some of the results for VPDAs and VPDTs (e.g., closure under intersection and decidability of emptiness for VPDA languages) carry over to the generalized models, but other results (e.g., determinization and closure under complement...

“Unidirectional channel systems” (Chambart & Schnoebelen, CONCUR 2008) are finite-state systems where one-way communication from a Sender to a Receiver goes via one reliable and one unreliable unbounded fifo channel. While reachability is decidable for these systems, equipping them with the possibility of testing regular properties on the contents of channels makes it undecidable. Decidability ...

Dealing with the threatening challenges and profound changes that characterise our era requires development of knowledge skills to navigate uncertainty complexity science as part society everyday life. How can we support school students in transforming base experiences face ongoing crises contribute individuals, citizens, active participants a democratic enable transformation is called for? We ...

Related DatabasesWeb of Science You must be logged in with an active subscription to view this.Article DataHistorySubmitted: 11 January 2021Accepted: 09 August 2021Published online: 30 November 2021KeywordsBarzilai--Borwein method, quadratic termination property, unconstrained optimization, extreme eigenvalue problem, box-constrained singly linearly optimizationAMS Subject Headings90C20, 90C25,...