Quá trình phân tích từ vựng cho câu lệnh gán: x = 1.5*y +3.2 sẽ tách thành bao nhiêu Từ tố số thực?

Một ngôn ngữ được gọi là chính quy (Regular Language) nếu và chỉ nếu nó có thể được chấp nhận bởi một máy hữu hạn trạng thái xác định (Deterministic Finite Automaton - DFA). Các loại máy khác như PDA, LBA, và máy Turing chấp nhận các lớp ngôn ngữ rộng hơn, không chỉ ngôn ngữ chính quy.

• DFA (Deterministic Finite Automaton): Chấp nhận ngôn ngữ chính quy.
• PDA (Pushdown Automaton): Chấp nhận ngôn ngữ phi ngữ cảnh (Context-Free Language).
• LBA (Linear Bounded Automaton): Chấp nhận ngôn ngữ ngữ cảnh phụ thuộc (Context-Sensitive Language).
• Máy Turing: Chấp nhận ngôn ngữ đệ quy liệt kê được (Recursively Enumerable Language).

Do đó, đáp án đúng là A.

Biểu thức chính quy (Regular Expression) là một chuỗi ký tự đặc biệt dùng để mô tả một tập hợp các chuỗi khác, theo một cú pháp nhất định. Các phép toán cơ bản trong biểu thức chính quy bao gồm: phép hợp (union), phép nối (concatenation), và phép lặp (Kleene star). Phương án A: `[(a+b)*-(aa+bb)]*` - Có vẻ như có sử dụng ký tự '-' không đúng cách trong biểu thức chính quy. Dấu '-' thường không được sử dụng trực tiếp như một toán tử trong biểu thức chính quy theo nghĩa này. Tuy nhiên, cần xem xét ngữ cảnh cụ thể để xác định chính xác. Giả sử '-' là một ký tự literal, biểu thức có thể đúng. Phương án B: `[(0+1)-(0b+a1)*(a+b)]*` - Tương tự như phương án A, sự xuất hiện của '-' và các ký tự 'b', 'a' có thể không phù hợp nếu không được định nghĩa trước hoặc sử dụng đúng cách. Nếu 'b' và 'a' là ký tự trong bảng chữ cái, biểu thức có thể đúng nếu '-' là một ký tự literal. Tuy nhiên, cách sử dụng này không phổ biến. Phương án C: `(01+11+10)*` - Đây là một biểu thức chính quy hợp lệ. Nó mô tả một chuỗi bao gồm các chuỗi con "01", "11", hoặc "10", lặp lại không hoặc nhiều lần. Phương án D: `(1+2+0)*(1+2)*` - Đây là một biểu thức chính quy hợp lệ. Nó mô tả một chuỗi bao gồm các ký tự "1", "2", hoặc "0", lặp lại không hoặc nhiều lần, sau đó là các ký tự "1" hoặc "2" lặp lại không hoặc nhiều lần. Trong các phương án trên, phương án B có vẻ không phải là một biểu thức chính quy chuẩn do sự xuất hiện của các ký tự 'b' và 'a1' mà không có định nghĩa rõ ràng về chúng trong ngữ cảnh biểu thức chính quy thông thường, cũng như cách sử dụng dấu '-'. Tuy nhiên, phương án A cũng gây tranh cãi. Vì câu hỏi yêu cầu chọn biểu thức *không* phải là biểu thức chính quy, phương án B phù hợp hơn do cách sử dụng các ký tự và toán tử không chuẩn.

Biểu thức chính quy a/b (hoặc a|b trong một số ký hiệu) đại diện cho sự lựa chọn giữa 'a' hoặc 'b'. Do đó, tập hợp các chuỗi mà biểu thức này ký hiệu bao gồm hai chuỗi riêng biệt là 'a' và 'b'. * **Đáp án A:** {a} chỉ chứa chuỗi 'a', không bao gồm 'b'. * **Đáp án B:** {epsilon, a, b} chứa chuỗi rỗng (epsilon), 'a' và 'b', nhưng biểu thức a/b không bao gồm chuỗi rỗng. * **Đáp án C:** {a, b} chứa đúng hai chuỗi 'a' và 'b', phù hợp với ý nghĩa của biểu thức a/b. * **Đáp án D:** {ab} chỉ chứa chuỗi 'ab', không liên quan đến a/b.

Văn phạm tuyến tính (Linear Grammar) là một loại văn phạm hình thức trong lý thuyết ngôn ngữ hình thức, trong đó mỗi luật sinh chỉ có tối đa một ký hiệu không kết thúc (non-terminal) ở vế phải. Có hai loại văn phạm tuyến tính chính: 1. **Văn phạm tuyến tính phải (Right-linear grammar):** Trong loại văn phạm này, ký hiệu không kết thúc (nếu có) xuất hiện ở vị trí tận cùng bên phải của vế phải trong luật sinh. Ví dụ: `A -> aB` hoặc `A -> a`, trong đó A và B là ký hiệu không kết thúc, và a là ký hiệu kết thúc. 2. **Văn phạm tuyến tính trái (Left-linear grammar):** Trong loại văn phạm này, ký hiệu không kết thúc (nếu có) xuất hiện ở vị trí tận cùng bên trái của vế phải trong luật sinh. Ví dụ: `A -> Ba` hoặc `A -> a`, trong đó A và B là ký hiệu không kết thúc, và a là ký hiệu kết thúc. Do đó, đáp án D (Tuyến tính phải và trái) là đáp án chính xác nhất, vì nó bao gồm cả hai loại văn phạm tuyến tính cơ bản.