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
Designing a checking test for a linear finite automaton - MaRDI portal

Designing a checking test for a linear finite automaton

From MaRDI portal

Publication:1171883

Jump to:navigation, search

zbMath0499.68022MaRDI QIDQ1171883

Nikolai V. Kolesov

Publication date: 1982

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

zbMATH Keywords

technical diagnostics binary field length of the test which detects single constant faults linear observable finite automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Fuzzy Linear Automata Testing

This page was built for publication: Designing a checking test for a linear finite automaton

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