see this: Peter Linz Edition 4 Exercise 3.1 Question 16.c
i think only 4 state is sufficient.
64.3k questions
77.9k answers
244k comments
80.0k users