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
Minimization of symbolic transducers - MaRDI portal

Minimization of symbolic transducers

From MaRDI portal

Publication:2164220

Jump to:navigation, search

DOI10.1007/978-3-319-63390-9_10zbMath1494.68149OpenAlexW2611485926MaRDI QIDQ2164220

Margus Veanes, Olli Saarikivi

Publication date: 12 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-63390-9_10

zbMATH Keywords

symbolic transducers digital bibliography library project effective Boolean algebra state reduction algorithm symbolic finite automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Logical aspects of Boolean algebras (03G05)

Related Items (1)

Conditions for the existence of maximal factorizations

This page was built for publication: Minimization of symbolic transducers

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