Accession Number : AD0636097

Title :   A SIMPLE PROOF OF A THEOREM ON SELF-SYNCHRONIZING AUTOMATA.

Corporate Author : RAND CORP SANTA MONICA CA

Personal Author(s) : Landi, Dale M.

Report Date : JUL 1966

Pagination or Media Count : 5

Abstract : A short proof is offered for verifying that a finite state, completely specified automation is synchronized with probability 1 only if there exists a universal synchronizer for the automation. (Author)

Descriptors :   *AUTOMATA), (*THEOREMS, MATHEMATICAL LOGIC, PROBABILITY.

Subject Categories : Operations Research

Distribution Statement : APPROVED FOR PUBLIC RELEASE