4.4.2.1 Finite state machines (FSMs) without output

Question 1

What does the double circle in a state transition diagram mean?

Answer 1

The input string is accepted if it reaches this state

Question 2

Why have a state that loops no matter the input?

Answer 2

To ensure that a non-valid string is trapped / prevent the accepting state being reached;