Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Synchronizing Automata over Nested Words - MaRDI portal

Synchronizing Automata over Nested Words

From MaRDI portal

Publication:5208371

Jump to:navigation, search

DOI10.25596/jalc-2019-219zbMath1429.68104OpenAlexW4288232262MaRDI QIDQ5208371

Dmitry Chistnikov, Mahsa Shirmohammadi, Pavel Martyugin

Publication date: 15 January 2020

Full work available at URL: https://hal.archives-ouvertes.fr/hal-02411524

zbMATH Keywords

decision problems nested words visibly pushdown automata formal language theory Strahler number synchronizing words

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (2)

Synchronization of Parikh automata ⋮ Synchronizing deterministic push-down automata can be really hard

This page was built for publication: Synchronizing Automata over Nested Words

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5208371&oldid=19805447"