Да, после abcba вы переходите в состояние 2.
Двойной кружок обычно указывает на состояние принятия - в DFA для регулярного выражения полученная вами строка соответствует регулярному выражению, если вы находитесь в состоянии принятия.
Если регулярное выражение соответствует пустой строке, тогда начальное состояние также будет принимающим, как здесь.