Uslownye äxperimenty i testy dlq awtomatnyh modelej

V dannoj rabote rassmatriwaetsq wopros sinteza uslownyh razlichaüschih äxperimentow dlq tröh awtomatnyh modelej s nedeterminirowannym powedeniem: whodo-wyhodnyh poluawtomatow s molchaniem, konechnyh awtomatow i wremennyh awtomatow. Takie äxperimenty mogut ispol'zowat'sq dlq sinteza uslownyh prowerqüschih i diagnosticheskih testow dlq diskretnyh sistem, dopuskaüschih awtomatnoe opisanie powedeniq. Jexperimenty predlagaetsq opisywat' poluawtomatom, awtomatom ili wremennym awtomatom, w zawisimosti ot togo, kakaq model' ispol'zowana dlq opisaniq sistemy. Predlagaütsq algoritmy postroeniq razlichaüschih äxperimentow i dokazywaütsq kriterii suschestwowaniq uslownyh razlichaüschih äxperimentow dlq dwuh zadannyh poluawtomatow, dwuh awtomatow i dwuh wremennyh awtomatow. Krome togo, na primere konechnyh awtomatow pokazywaetsq, kak uslownye razlichaüschie äxperimenty mogut byt' ispol'zowany dlq postroeniq prowerqüschih i diagnosticheskih testow w prostyh sluchaqh modeli neisprawnosti.