Eksperimenty s nedeterminirovannymi avtomatami

Monografiya prodolzhaet issledovaniya, nachatye bolee poluveka nazad i posvyashchennye sintezu umozritel'nykh eksperimentov s konechnymi avtomatami. Pod eksperimentom ponimaetsya podacha vkhodnoy posledovatel'nosti na avtomat, nablyudenie vykhodnoy reaktsii i vyvod zaklyucheniya o svoystvakh avtomata. Monografiya posvyashchena issledovaniyu i razrabotke metodov sinteza ustanovochnykh i razlichayushchikh eksperimentov s nedeterminirovannymi avtomatami. Takie eksperimenty pozvolyayut opredelit' final'noe i nachal'noe sostoyaniya avtomata. Rassmatrivayutsya bezuslovnye i uslovnye ustanovochnye i razlichayushchie eksperimenty s polnost'yu opredelennymi nablyudaemymi nedeterminirovannymi avtomatami, ustanavlivayutsya neobkhodimye i dostatochnye usloviya sushchestvovaniya takikh eksperimentov, i predlagayutsya metody ikh sinteza. Privodyatsya razlichnye tekhnicheskie prilozheniya nedeterminirovannykh avtomatov, v chastnosti, rassmatrivayutsya eksperimenty po sintezu proveryayushchikh testov dlya protokol'nykh realizatsiy, a takzhe eksperimenty po uproshcheniyu komponenty avtomatnoy seti, v tom chisle, s tsel'yu optimizatsii logicheskikh skhem. Monografiya mozhet byt' polezna litsam, zainteresovannym v bolee glubokom izuchenii teorii avtomatov.