Từ 1 tới 3 trên tổng số 3 kết quả

Đề tài: các bác ơi dịch dúp em đoạn tiếng anh với ạ

  1. #1
    Ngày gia nhập
    09 2008
    Bài viết
    4

    Post các bác ơi dịch dúp em đoạn tiếng anh với ạ

    các bác ơi dúp em với đây là tài liệu môn logic nhằm nhận dạng công thức dạng chuẩn (wff) em không tài nào mà dịch cả vì nó lắm ngôn ngữ chuyên ngành quá. thank các bác.



    Input: expression α Output: true or false (indicating whether α is a wff ).

    0. Begin with an initial construction tree T containing a single node labeled with α
    1. If all leaves of T are labeled with propositional symbols, return true.
    2. Select a leaf labeled with an expression α1 which is not a propositional symbol.
    3.IF α1 does not begin with ( return false.
    4. Examine α1 to find β , the first balanced proper initial segment of α1 . If there is no such β , return false.
    5. If α1 = (¬ β) ,then add a child to the leaf labeled by α1 , label it with β and
    goto 1.
    6. If α1 = ( β Θ @ ) where Θ is one of { Λ , V , → , ↔ } and β is balanced, then add two children to the leaf labeled by α1 , label them with β and @ , and goto 1.
    7. Return false.

  2. #2
    Ngày gia nhập
    09 2007
    Bài viết
    724

    0: bắt đầu cây T được khởi tạo nó chứa một node với%
    Đã được chỉnh sửa lần cuối bởi zkday2686 : 09-09-2008 lúc 02:08 PM.

  3. #3
    Ngày gia nhập
    10 2006
    Nơi ở
    In Your Bugs
    Bài viết
    823

    //Input: expression α Output: true or false (indicating whether α is a wff ).

    Dữ liệu nhập: 1 biểu thức a
    Dữ liệu xuất: True || False ( Dù a có phải là 1 wff hay ko )

    //0. Begin with an initial construction tree T containing a single node labeled with α
    0. Bắt đầu với một cây T ( từ hàm tạo ban đầu) gồm một node có nhãn là a.

    //1. If all leaves of T are labeled with propositional symbols, return true.

    1. Nếu: Tất cả nhánh của cây T có nhãn là một kí hiệu xác định trả về là True

    //2. Select a leaf labeled with an expression α1 which is not a propositional symbol.

    2. Chọn 1 node lá, biểu thức a1 sao cho nhãn này không phải là một kí hiệu xác định.

    //3.IF α1 does not begin with ( return false.

    3. Nếu a1 không bắt đầu với '(' thì trả về false

    //4. Examine α1 to find β , the first balanced proper initial segment of α1 . If there is no such β , return false.

    Kiểm tra trong a1 nhánh khởi đầu, đúng, và cân bằng β. Nếu ở đây không có 1 β như vậy thì trả lại false.
    //5. If α1 = (¬ β) ,then add a child to the leaf labeled by α1 , label it with β and
    goto 1.

    Nếu a1 = !β thì thêm vào a1 cây con β rồi trở về bước 1.
    //6. If α1 = ( β Θ @ ) where Θ is one of { Λ , V , → , ↔ } and β is balanced, then add two children to the leaf labeled by α1 , label them with β and @ , and goto 1.

    6 Nếu α1 = ( β Θ @ ) với Θ là một trong những { Λ , V , → , ↔ } đồng thời β là cây cân bằng. thì thêm vào a1 2 cây con β và @

    7. Trả lại false.



    Hix. Tớ dịch bằng niềm tin luôn.

Các đề tài tương tự

  1. Trả lời: 0
    Bài viết cuối: 18-04-2012, 12:24 PM
  2. dúp em bài toán tự động chọn mã khách hàng
    Gửi bởi langthuan trong diễn đàn Nhập môn lập trình C/C++
    Trả lời: 2
    Bài viết cuối: 10-12-2008, 06:57 PM
  3. có thể dúp em làm đề tài về "quản lý xuất bản sách" ko
    Gửi bởi anhtien trong diễn đàn Thắc mắc lập trình C/C++/C++0x
    Trả lời: 1
    Bài viết cuối: 20-11-2007, 09:43 PM
  4. [C++]Quả tải toán tử xuất << mọi người dúp mình nha.
    Gửi bởi iamvtn trong diễn đàn Thắc mắc lập trình C/C++/C++0x
    Trả lời: 6
    Bài viết cuối: 16-05-2007, 07:14 PM
  5. [ Solved ]Có một bài tập về ngày tháng năm bạn nào dúp mình giải với
    Gửi bởi vtniam trong diễn đàn Nhập môn lập trình C/C++
    Trả lời: 1
    Bài viết cuối: 03-11-2006, 10:38 AM

Quyền hạn của bạn

  • Bạn không thể gửi đề tài mới
  • Bạn không thể gửi bài trả lời
  • Bạn không thể gửi các đính kèm
  • Bạn không thể chỉnh sửa bài viết của bạn