Dapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan OtomatDapan Otomat
KHOA CÔNG NGHỆ THÔNG TIN BỘ MÔN TOÁN TIN ỨNG DỤNG KIỂM TRA GIỮA KỲ - NĂM HỌC 2014-2015 MÔN HỌC OTOMAT&NNHT- Đề A153 (Thời gian làm 45 phút) Đáp án & Thang điểm: Có 10 ý nhỏ, ý cho điểm, chấp nhận sai sót nhỏ, nhầm lẫn (mà chép!) Câu (3 điểm) Cho văn phạm G = , với P = {SaS1, S1aS1 | bS1 | a} a/ Gọi L = L(G), L ngôn ngữ quy hay phi ngữ cảnh? Viết từ ngôn ngữ L (xếp theo độ dài tăng dần theo thứ tự từ điển) Giải: Do G Văn phạm CQ nên L ngôn ngữ CQ (0.5); L = {aa, aaa, aba, aaaa, aaba …}(0.5), viết thứ tự < từ : không cho điểm, 4-5 từ cho đủ điểm) b/ Viết biểu diễn hữu hạn cho ngôn ngữ L Giải: Viết L = {a a | {a, b}*}, mô tả L ngôn ngữ gồm từ bảng chữ {a, b}, bắt đầu kết thúc ký hiệu ‘a’ (đều cho 1.0) c/ Xây dựng otomat hữu hạn A cho T(A) = L(G) Giải: Từ văn phạm G, xây dựng otomat A sau: A = < { S, S , E}, {a, b}, , S, {E} >, hàm xác định sau: (S, b) = ; (S, a) = S1 ; (S1, a) = {S1, E}, (S1, b) = S1, (E, a) = (E, b) = (1.0) Có thể cần cho A đồ thị chuyển trạng thái (hoặc bảng chuyển trạng thái): (1.0) Câu (4 điểm) Cho otomat hữu hạn A có đồ thị chuyển hình vẽ: a/ A otomat loại ? (DFA, NFA, đầy đủ hay không đầy đủ) Giải: Suy luận trực tiếp từ cung đồ thị, đưa dạng bảng, kết luận DFA đầy đủ (1.0) (nếu kết luận không giải thích cho 0.5) b/ Xác định ngôn ngữ L = T(A) Giải: L = { 1n0m | n > 0, m > 1, {0, 1}* } (1.0) c/ Xây dựng văn phạm G cho L(G) = T(A) Giải: G = < {0, 1}; {q0, q1, q2}, q0, { q01q0 | 0q1 ; q10q1 |1q2 |1; q20q2 |1q2| |1}> (nếu thiếu vài quy tắc cho đủ 1.0 điểm) d/ L ngôn ngữ quy hay phi ngữ cảnh, sao? Giải: L ngôn ngữ quy đoán nhận otomat hữu hạn (hoặc L đươc sinh Văn phạm CQ lập phàn c/ (1.0) Câu (3 điểm) Cho ngôn ngữ L = {a}+.{b}* a/ Viết từ ngôn ngữ L (xếp theo độ dài tăng dần theo thứ tự từ điển) L ngôn ngữ quy hay phi ngữ cảnh, sao? Giải: - L = {a, aa, ab, aab, abb…} (sai từ vấn cho đủ 0.5) - Do {a}+ {b}* ngôn ngữ CQ, L tích ghép ngôn ngữ CQ nên quy (hoặc nhận xét khác cho 0.5) b/ Viết biểu diễn hữu hạn cho ngôn ngữ L Giải : L = {anbm | m > 0, n > 1} (1.0) c/ Viết biểu thức quy biểu diễn ngôn ngữ L Giải : r = a+ b* (1.0) Tổng cộng 10 điểm KHOA CÔNG NGHỆ THÔNG TIN BỘ MÔN TOÁN TIN ỨNG DỤNG KIỂM TRA GIỮA KỲ - NĂM HỌC 2014-2015 MÔN HỌC OTOMAT&NNHT- Đề A154 (Thời gian làm 45 phút) Đáp án & Thang điểm: Có 10 ý nhỏ, ý cho điểm, chấp nhận sai sót nhỏ, nhầm lẫn (mà chép!) Câu (3 điểm) Cho văn phạm G = , với P = {SbS1, S1aS1 | bS1 | b } a/ Gọi L = L(G), L ngôn ngữ quy hay phi ngữ cảnh? Xâu = babab có thuộc ngôn ngữ L(G) hay không, có viết dãy suy dẫn đầy đủ từ = babab văn phạm G Giải: Do G Văn phạm CQ nên L ngôn ngữ CQ (0.5); dãy suy dẫn đầy đủ từ : S ├ bS1├ baS1├ babS1├ babaS1├ babab (0.5) b/ Viết biểu diễn hữu hạn cho ngôn ngữ L Giải: Viết L = {b b | {a, b}*}, mô tả L ngôn ngữ gồm từ bảng chữ {a, b}, bắt đầu kết thúc ký hiệu ‘b’ (đều cho 1.0) c/ Xây dựng otomat hữu hạn A cho T(A) = L(G) Giải: Từ văn phạm G, xây dựng otomat A sau: A = < { S, S1 , E}, {a, b}, , S, {E} >, hàm xác định sau: (S, a) = ; (S, b) = S1 ; (S1, a) = S1 ; (S1, b) = {S1, E}, (E, a) = (E, b) = (1.0) Có thể cần cho A đồ thị chuyển trạng thái (hoặc bảng chuyển trạng thái): (1.0) Câu (4 điểm) Cho otomat hữu hạn A có đồ thị chuyển hình vẽ: a/ A otomat loại ? (DFA, NFA, đầy đủ hay không đầy đủ) Giải: Suy luận trực tiếp từ cung đồ thị, đưa dạng bảng, kết luận DFA không đầy đủ (nếu kết luận không giải thích cho 0.5) b/ Xác định ngôn ngữ L = T(A) Giải: L = { 1n01m | n, m > 0, m > } (1.0) c/ Xây dựng văn phạm G cho L(G) = T(A) Giải: G = < {0, 1}; {q0, q1, q2}, q0, { q01q0 | 0q1 ; q11q1 | 0q2 | 0}> (nếu thiếu vài quy tắc cho đủ 1.0 điểm) d/ L ngôn ngữ quy hay phi ngữ cảnh, sao? Giải: L ngôn ngữ quy đớn nhận otomat hữu hạn (1.0) (hoặc sinh văn phạm quy vừa xây dựng, cho 1.0)) Câu (3 điểm) Cho ngôn ngữ L = {a}*.{b}+ a/ Viết từ ngôn ngữ L (xếp theo độ dài tăng dần theo thứ tự từ điển) L ngôn ngữ quy hay phi ngữ cảnh, sao? Giải: - L = {b, ab, bb, aab, abb, bbb, aaab…} (sai 1-2 từ vấn cho đủ 0.5) - Do {a}* {b}+ ngôn ngữ CQ, L tích ghép ngôn ngữ CQ nên quy (hoặc nhận xét khác cho 0.5) b/ Viết biểu diễn hữu hạn cho ngôn ngữ L Giải : L = {anbm | n > 0, m > 1} (1.0) c/ Viết biểu thức quy biểu diễn ngôn ngữ L Giải : r = a* b+ (1.0) Tổng cộng 10 điểm ... chữ {a, b}, bắt đầu kết thúc ký hiệu ‘b’ (đều cho 1.0) c/ Xây dựng otomat hữu hạn A cho T(A) = L(G) Giải: Từ văn phạm G, xây dựng otomat A sau: A = < { S, S1 , E}, {a, b}, , S, {E} >, hàm xác... bảng chuyển trạng thái): (1.0) Câu (4 điểm) Cho otomat hữu hạn A có đồ thị chuyển hình vẽ: a/ A otomat loại ? (DFA, NFA, đầy đủ hay không đầy đủ) Giải: Suy luận trực tiếp từ cung đồ thị, đưa dạng... không đầy đủ (nếu kết luận không giải thích cho 0.5) b/ Xác định ngôn ngữ L = T(A) Giải: L = { 1n01m | n, m > 0, m > } (1.0) c/ Xây dựng văn phạm G cho L(G) = T(A) Giải: G = < {0, 1}; {q0, q1, q2},