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
Regulated tree automata - MaRDI portal

Regulated tree automata

From MaRDI portal

Publication:2179332

Jump to:navigation, search

DOI10.1007/978-3-030-23247-4_9zbMATH Open1434.68245OpenAlexW2953470554MaRDI QIDQ2179332

Henning Fernau, Martin Vu

Publication date: 12 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23247-4_9

zbMATH Keywords

tree automata regulated rewriting graph control yield operation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items (1)

Rigid Tree Automata

This page was built for publication: Regulated tree automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2179332)

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