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
Parallel decision procedures for finite state automata - MaRDI portal

Parallel decision procedures for finite state automata

From MaRDI portal

Publication:4291044

Jump to:navigation, search

DOI10.1080/00207169308804213zbMath0804.68046OpenAlexW2100711766MaRDI QIDQ4291044

Robert R. Goldberg, Jerry Waxman

Publication date: 5 May 1994

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207169308804213

zbMATH Keywords

reachability parallel algorithm classification problem finite state automata combinatorial circuit decidable predicates

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Distributed algorithms (68W15)

Cites Work

This page was built for publication: Parallel decision procedures for finite state automata

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