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

Đề tài: [Solved]viết trương trình nhận dạng công thức dạng chuẩn (wff)

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

    Question [Solved]viết trương trình nhận dạng công thức dạng chuẩn (wff)

    đề bài : viết trương trinhg nhận dạng một mệnh đề có phải là một công thức dạng chuẩn (wff) hay không:
    thuật toán :
    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.

    nó toàn tiếng anh thôi em chịu. bác nào pro thì dúp em với

  2. #2
    Ngày gia nhập
    02 2008
    Bài viết
    1,009

    Cn3 h mới học đến cái WFF này,bữa trước chẳng biết WFF là cái gì mà bắt chứng minh,đã vậy lại tiếng anh
    hướng dẫn các cậu sơ qua thế này thôi nha( mình không cho code đâu,mình còn phải nộp bài chứ)

    đầu tiên phải xây dựng được câu nhị phân đã( cây nhị phân biểu thức )
    xây dựng thế này nha
    Code:
    typedef struct tagTNODE 
    { 
    Data Key;//Data là kiểu dữ liệu ứng với thông tin lưu tại nút 
    struct tagNODE *pLeft, *pRight; 
    }TNODE;
    hoặc thế này
    Code:
    typedef struct tagTNode  
    { 
    DataType Key;  
    struct tagTNode* pParent;  
    struct tagTNode* pLeft;  
    struct tagTNode* pRight; 
    }TNODE;
    còn cách duyệt cây nhị phân có 3 cách là
    duyệt theo thứ tự trước,duyệt theo thứ tự giữa,duyệt theo thứ tự sau
    đây là minh họa cách duyệt theo thứ tự trái
    Code:
    void NLR(TREE Root)  
    { 
    if (Root != NULL)  
    { 
    ; //Xử lý tương ứng theo nhu cầu 
    NLR(Root->pLeft);  
    NLR(Root->pRight); 
    } 
    }
    để kiểm tra mệnh đề đúng các cậu dùng phương pháp duyệt giống như ký pháp nghịch đảo ba lan nha
    nó ở đây
    Đã được chỉnh sửa lần cuối bởi AlexF : 28-10-2008 lúc 03:35 PM.

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

  1. Các chuẩn web thương mại điện tử viết bằng asp.net
    Gửi bởi haigobolo trong diễn đàn Thắc mắc lập trình ASP.NET
    Trả lời: 0
    Bài viết cuối: 06-07-2013, 07:22 PM
  2. Khai báo biến con trỏ, viết thế nào cho chuẩn?
    Gửi bởi longtth trong diễn đàn Thắc mắc lập trình C/C++/C++0x
    Trả lời: 14
    Bài viết cuối: 25-01-2011, 04:27 PM
  3. [Solved]viết thế này sai chỗ nào vậy các anh ơi!
    Gửi bởi kool_boy trong diễn đàn Nhập môn lập trình C/C++
    Trả lời: 7
    Bài viết cuối: 01-11-2008, 05:42 PM
  4. [Solved]viết hàm so sanh 2 xâu
    Gửi bởi thanh_rio trong diễn đàn Nhập môn lập trình C/C++
    Trả lời: 2
    Bài viết cuối: 22-10-2008, 11:21 AM
  5. [Solved]viết hàm int noOfdigit( int a, int b)
    Gửi bởi kaka trong diễn đàn Thắc mắc lập trình C/C++/C++0x
    Trả lời: 8
    Bài viết cuối: 12-03-2008, 10:43 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