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
An Efficient Pre-determinization Algorithm - MaRDI portal

An Efficient Pre-determinization Algorithm

From MaRDI portal

Publication:3559777

Jump to:navigation, search

DOI10.1007/3-540-45089-0_9zbMath1279.68125OpenAlexW1512182322MaRDI QIDQ3559777

Cyril Allauzen, Mehryar Mohri

Publication date: 7 May 2010

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45089-0_9

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Related Items (1)

From LTL to Symbolically Represented Deterministic Automata

This page was built for publication: An Efficient Pre-determinization Algorithm

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