SÂU HƠNTrên đĩa CD PLP chúng tôi xem xét hữu hạn và đẩy xuống automata chi tiết hơn. Chúng tôi cung cấp cho một thuật toán để chuyển đổi một DFA vào một cụm từ thông dụng tương đương. Kết hợp với các công trình xây dựng trong phần 2.2.1, thuật toán này chứng tỏ sự tương đương của biểu thức thông thường và automata hữu hạn. Chúng tôi cũng xem xét các bộ grammars và ngôn ngữ có thể và không thể được phân tích bởi nhiều thời gian tuyến tính, phân tích các thuật toán.
đang được dịch, vui lòng đợi..
