Rabin-Scott Finite Automata and Their Decision Problems – keeping simple