Конечный автомат для распознавания последовательности

Всем привет! Пытаюсь реализовать конечный автомат для следующей задачи. По Ethernet приходят пакеты с данными, необходимо распознать и вывести на экран следующую последовательность данных:

0x11, 0x25, 0x30, 0x31, 0x32, 0x33, 0x34, 0x41;

Здесь 0x11 - первый байт, означает начало последовательности. 0x25 второй байт, означает количество байт идущих за ним (в младших 4 битах, в данном примере их 5). Далее байты и наконец завершающий байт. Старшие разряды предназначены для того, чтобы различать слова между друг другом. Я начал с того чтобы выделить абстракцию данных, с которыми работаю.

struct word
{
    /* data */
    uint8_t data;
    /* methods */
    uint8_t word_count() const { return (data & 0xF); }
    uint8_t high_bits() const { return (data >> 4) & 0xF; }
};

Далее я ввожу новую абстракцию парсер:

enum class parser_state {
  S1_WAIT_FIRST_WORD,
  S2_WAIT_SECOND_WORD,
  S3_WAIT_N_WORDS,
  S4_WAIT_END_WORD,  
};


struct parser {
    /* data */
    parser_state state;
    uint8_t word_count = 0;
    uint8_t current_count = 0;
    /* methods */
    void next_word(word & w);
};

соответственно, у него есть состояния и функция, где будут описаны переходы.

void parser::next_word(word &w) {
    switch (state)
    {
    case parser_state::S1_WAIT_FIRST_WORD: 
        /* code */
        if (w.high_bits() == 0x1) {
            state = parser_state::S2_WAIT_SECOND_WORD;
            word_count = w.word_count();
        } else {
            // error: miss first word
        }
        break;
    case parser_state::S2_WAIT_SECOND_WORD:
        /* code */
        if (w.high_bits() == 0x2) 
            state = parser_state::S3_WAIT_N_WORDS;
        else
            // error: miss second word!
        break;
    case parser_state::S3_WAIT_N_WORDS:
        if (w.high_bits() == 0x3) {
            current_count++;
            // we receive all words!
            if (current_count >= word_count) {
                state = parser_state::S4_WAIT_END_WORD;
            }
        } else {
            // error: miss some word with 0x3 prefix!
        }
        break;
    case parser_state::S4_WAIT_END_WORD:
        if (w.high_bits() == 0x4) {
            state = parser_state::S1_WAIT_FIRST_WORD;
        } else {
            // error!
        }
    default:
        break;
    }
}

Тривиально, ждем первого слова с признаком 0x1, после чего второе слово с признаком 0x2 и счетчиком. наконец слова с признаком 0x3 (все!) и финальное слово, признак конца последовательности.

Проблема в том, что будет если часть слов из последовательности 0x3 не придет? в данном случае я просто прыгаю в состояние S1 и снова жду новой последовательности. Но что если я пропущу одно слово, а остальные придут, для отладки я хотел бы отобразить их + отобразить ошибку. С данной целью я добавил буффер в парсер и отдельную сущность работающую с входным потоком данных по Ethernet:

struct network {
    parser prs;
    /* methods */
    void next_data(std::vector<unsigned char> data);
};

void network::next_data(std::vector<unsigned char> data) {
    if (data.empty())
        return;

    for (auto byte : data) {
        word w{byte};
        prs.next_word(w);
    }
}

Не нравится, что она содержит в себе парсер (это ведь две разные сущности, но пока так)

struct parser {
    /* data */
    std::vector<word> words;

В функции парсинга, я просто добавлю слова в буффер парсера.

    case parser_state::S1_WAIT_FIRST_WORD: 
        /* code */
        if (w.high_bits() == 0x1) {
            state = parser_state::S2_WAIT_SECOND_WORD;
            words.push_back(w);

При ошибке я жду первого состояния и очищаю буффер. Но что делать в случае такой последовательности?

0x11, 0x25, 0x30, 0x31, 0x32, 0x33, 0x11, 0x25

Видно что не пришло слово 0x34 и сразу за ним началась новая последовательность. Если следовать моей логике, то я ожидаю 0x34 но получаю 0x11 очищу буффер (а значит 0x11 и 0x25 пропадут) а ведь эти данные могли быть началом нового пакета. Как быть? Также хотелось бы отображать данные, а я их теряю. Возможно спасет введение таблицы переходов, но пока не уверен как это правильно сделать.