ну как. Стартовое состояние. Если нашли a, то идем в состояние "ждем b", если b, то в состояние "ждем a", иначе успех. Состояние "ждем a" - если a, то к началу, иначе откатить последний символ и успех. Для "ждем b" аналогично
если мы говорим про конечную машину регулярного выражения, то у нас на выходе два состояния - либо есть соответствие выражению, либо нет соответствия выражению.