Some Binary Output Sequence Properties of Deterministic Autonomous Finite-State Machines with Probabilistic Initialization | IEEE Journals & Magazine | IEEE Xplore