#include <stdio.h>

// Дефиниции на състоянията
typedef enum {
    IDLE,
    READ,
    DLY,
    DONE
} state_t;

state_t current_state = IDLE;  // Начално състояние

// Променливи за изходи
int rd = 0;
int ds = 0;

// Входове
int go = 0;
int ws = 0;

// Функция за промяна на състоянията
void fsm_update() {
    switch(current_state) {
        case IDLE:
            rd = 0;
            ds = 0;
            if (go == 1) {
                current_state = READ;
            }
            break;

        case READ:
            rd = 1;
            ds = 0;
            if (ws == 1) {
                current_state = DLY;
            }
            break;

        case DLY:
            rd = 1;
            ds = 0;
            if (ws == 1) {
                current_state = READ;
            } else {
                current_state = DONE;
            }
            break;

        case DONE:
            rd = 0;
            ds = 1;
            current_state = IDLE;  // Връща се към IDLE след като е приключено
            break;

        default:
            current_state = IDLE;  // Ако има грешка, връща се към IDLE
            break;
    }
}

int main() {
    // Примерно изпълнение
    printf("Начално състояние: IDLE\n");
   
    // Симулираме преходи
    go = 1;  // Старт (go) е активен
    fsm_update();  // Промяна на състоянието
    printf("Текущо състояние: READ, rd=%d, ds=%d\n", rd, ds);
   
    ws = 1;  // Симулираме вход (ws)
    fsm_update();
    printf("Текущо състояние: DLY, rd=%d, ds=%d\n", rd, ds);
   
    ws = 0;  // Продължаваме
    fsm_update();
    printf("Текущо състояние: DONE, rd=%d, ds=%d\n", rd, ds);
   
    fsm_update();  // Връщане в IDLE
    printf("Текущо състояние: IDLE, rd=%d, ds=%d\n", rd, ds);

    return 0;
}