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
The design of checkable automata. II - MaRDI portal

The design of checkable automata. II

From MaRDI portal

Publication:799377

Jump to:navigation, search

zbMath0548.68061MaRDI QIDQ799377

L. F. Kashirova

Publication date: 1983

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

zbMATH Keywords

upper bound checkable automata length of the checking sequence

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: The design of checkable automata. II

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