#include <stdio.h>
#include "afn.h"
#include "afd.h"

int main() {
    AFN automate = creer_afn();         // Create a new empty AFN

    Etat etats[] = {1, 2, 3};           // Define the states
    definir_etats(&automate, etats, 3); // Add the states to the AFN

    char *alphabets = "ab";             // Define the alphabets and Add the alphabets to the AFN
    definir_alphabets(&automate, alphabets, 2);

    // Define the initial and final states
    ajouter_etat_initial(&automate, 1);
    ajouter_etat_final(&automate, 3);

    // Add transitions
    ajouter_transition(&automate, 1, 'a', 1);
    ajouter_transition(&automate, 1, 'b', 1);
    ajouter_transition(&automate, 1, 'a', 2);
    ajouter_transition(&automate, 2, 'b', 3);

    afficher_afn(automate_simple_ab);           // Display the AFN
    afd = determiniser(automate_simple_ab);     // Convert the AFN to AFD
    afficher_table_transition(afd.table, automate_simple_ab.alphabets); // Display the transition table
    afficher_afd(afd); // Display the AFD

    // Check if the word is accepted by the AFD
    mot = "a";
    est_accepte = est_mot_accepte(afd.afd, mot);
    fprintf(stdout, "> Le mot \"%s\" est : %s \n", mot, est_accepte ? "Accepte" : "Non Accepte");


    return 0;
}