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. I - MaRDI portal

The design of checkable automata. I

From MaRDI portal

Publication:799376

Jump to:navigation, search

zbMath0548.68060MaRDI QIDQ799376

L. F. Kashirova

Publication date: 1983

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

zbMATH Keywords

Upper bounds 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. I

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