Advertisement

Statistically effective algorithms for automata control

  • V. N. Noskov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)

Abstract

Находятся простые условия, гарантирующие то, что тесты, удовлетворяющие этим условиям, ддя подавляющего числа автоматов заданного класса оказываются тестами, обнаруживающими все неисправности заданного типа.

Keywords

Mathematical Logic Formal Language Combinational Scheme System Implementation USSR Academy 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Носков В.Н. Диагностика неисправностей входов дискретного аналиэа в иэугении пеалиэации логических функций, вып. 41, Новосибирск, 1984, с. 72–80.Google Scholar
  2. 2.
    Носков В.Н. Статистически эффективный алгоритм контроля перелючений состояний конечных автоматов. — Сб.: Методы дискретного аналиэа в исследовании экстремалъных структур, вып. 39, Новосибирск, 1983, с. 66–79.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • V. N. Noskov
    • 1
  1. 1.Institute of Mathematics,Siberian Branch of the USSR Academy of SciencesNovosibirsk,90USSR

Personalised recommendations