Lý thuyết độ phức tạp tính toán baitap 2 (KMA)

<span class="text_page_counter">Trang 1</span><div class="page_container" data-page="1">

B. Bài tập

Câu 1. Xây dựng máy Turing 1 băng đốn nhận ngơn ngữ { 0ⁱ1^j với điều kiện nào đó của i, j, ví dụ i>j, i<j, i=j+1, j=i+1}

Câu 2. Xây dựng máy Turing 1 băng tính hàm f(n,m) = n*m-n, n*m-m, n*m+n,

<b>Điều kiện: i<j </b>

Máy Turing 1 băng đốn nhận ngơn ngữ { 0<small>i</small>1^j với i<j} được xác định như sau:

</div><span class="text_page_counter">Trang 2</span><div class="page_container" data-page="2">

<b>Điều kiện i>j </b>

Máy Turing đốn nhận ngơn ngữ có dang {0<small>i</small>1<small>j</small> với i>j} được xác định như sau:

</div><span class="text_page_counter">Trang 4</span><div class="page_container" data-page="4">

<b>Điều kiện j = i+1 </b>

Máy Turing 1 băng đoán nhận ngôn ngữ {0<small>i</small>1<small>j</small> với j = i+1} được xác định như sau:

</div><span class="text_page_counter">Trang 5</span><div class="page_container" data-page="5">

<i>Dấu Omega: omg </i>

<i><b>Dấu x khoanh trịn bên ngồi: x </b></i>

<b>( nói sơ qua ý tưởng về tính hàm kiểu này như sau: </b>

<b>- Đối với bài này thì mặc định dấu Omega được thêm vào đầu xâu, các </b>

<b>anh em khơng cần quan tâm đến nó cho tới khi thực hiện phép cộng hoặc trừ </b>

<b>- Đầu tiên là thực hiện phép nhân: </b>

<b>o Ví dụ 2x3 thì xâu vào có dạng 001000, nghĩa là bao nhiêu chữ </b>

<b>số 0 thì tượng trưng cho số đó, cịn số 1 tượng trưng cho dấu nhân </b>

o <b>Trước tiên thêm # ở cuối xâu coi như ngăn cách xâu với kết quả </b>

<b>o Lấy 1 ngăn cách ở giữa, chia xâu ra làm 2 vế. Duyệt tuần tự vế </b>

<b>trái, cứ mỗi số 0 ở vế trái thì lại bê toàn bộ 0 ở vế phải sang kết </b>

<b>o Lại thực hiện duyệt tuần tự vế trái. Cứ mỗi số 0 ở vế trái thì thì </b>

<b>thêm một số 0 vào phần kết quả ( đối với phép cộng ) hoặc bớt một số 0 ở phần kết quả ( đối với phép trừ ) </b>

</div><span class="text_page_counter">Trang 7</span><div class="page_container" data-page="7">

<i>--- Phần in nghiêng này là thực hiện phép trừ. Xem phần in đậm phía dưới để thấy sự khác biệt đối với phép cộng --- </i>

</div><span class="text_page_counter">Trang 11</span><div class="page_container" data-page="11">

--- Phần in nghiêng là thực hiện phép –m ( những phần cịn lại thì làm y hịt cho bài +m bên dưới ---

</div>