{"product_id":"uslownye-axperimenty-i-testy-dlq-awtomatnyh-modelej-von-maxim-gromow","title":"Uslownye äxperimenty i testy dlq awtomatnyh modelej","description":"\u003cp\u003eV 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783846504994\"\u003e\u003ch3\u003eSintez uslownyh razlichaüschih äxperimentow i ih primenenie dlq postroeniq testow\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783846504994","offer_id":39493546967133,"sku":"9783846504994","price":49.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/25e13682-7f8b-4cd4-aa59-c97fe7d15865.jpg?v=1757742387","url":"https:\/\/shop.autorenwelt.de\/products\/uslownye-axperimenty-i-testy-dlq-awtomatnyh-modelej-von-maxim-gromow","provider":"Autorenwelt Shop","version":"1.0","type":"link"}