Xây dựng DFA nhận chuỗi bắt đầu và kết thúc bằng 'a' trong C

DFA (Deterministic Finite Automata) chấp nhận chuỗi trên {a,b} bắt đầu và kết thúc bằng 'a'.

Chuỗi hợp lệ

ababba, aabba, aa, a

Chuỗi không hợp lệ

ab, b, aabab

Chương trình

#include <iostream>
#include <string.h>
using namespace std;

int main() {
    char str[] = "ababba";
    int len = strlen(str);
    
    if (str[0] == 'a' && str[len-1] == 'a')
        cout << "Chap nhan";
    else
        cout << "Tu choi";
    return 0;
}

Kết quả

Chap nhan