Two-state solated probabilistics automata - Tan, Choon Peng (1972)