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
Development of the checking set for a component of a sequential automaton network - MaRDI portal

Development of the checking set for a component of a sequential automaton network

From MaRDI portal

Publication:1913113

Jump to:navigation, search

zbMath0847.68070MaRDI QIDQ1913113

A. F. Petrenko, A. F. Lebedev, N. V. Evtushenko

Publication date: 27 May 1996

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

nondeterministic automaton sequential automaton network

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Development of the checking set for a component of a sequential automaton network

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