Đồ án trình bày các kiến thức cốt lõi về lý thuyết Ngôn ngữ hình thức và Ôtômát – nền tảng quan trọng trong lĩnh vực khoa học máy tính và thiết kế trình biên dịch. Nội dung tập trung làm rõ các khái niệm về bảng chữ cái, chuỗi, cách xác định và phân loại văn phạm sinh ngôn ngữ. Trên cơ sở lý thuyết, tác giả đã phát triển một chương trình ứng dụng hỗ trợ tính toán các bài toán liên quan. Dù đã hoàn thành các chức năng cơ bản như giản lược văn phạm hay tìm Biểu thức chính quy (BTCQ), chương trình vẫn còn một số hạn chế về giao diện đồ họa, thuật toán biểu diễn văn phạm chưa tối ưu và giới hạn về số lượng trạng thái xử lý. Hướng phát triển tương lai sẽ tập trung mở rộng module tìm BTCQ, tích hợp thêm lý thuyết hướng dẫn và hoàn thiện thuật toán.