main.java

我传的是个归结原理的实验,虽然只能完成简单的,但还是很好的

/*
 * Main.java
 *
 * Created on 2007年11月6日, 下午9:44
 *
 * To change this template, choose Tools | Template Manager
 * and open the template in the editor.
 */

package text3;

import java.io.BufferedReader;
import java.io.InputStreamReader;
import java.util.StringTokenizer;

/**
 *
 * @author user
 */
public class Main {
    static int count=1;
    
   
    /** Creates a new instance of Main */
    public Main() {
    }
    
    /**
     * @param args the command line arguments
     */
    public static void main(String[] args){
        // TODO code application logic here
       
        Main main=new Main();
        公式 q=new 公式();
       
        String s=null;
        char temp1[]=new char[9];
        char temp2[]=new char[9];
        char temp3[]=new char[9];
        char temp4[]=new char[9];
        char temp5[]=new char[9];
        char temp6[]=new char[9];
        
       /* String k="┐R(x)∨L(x)";
         String k1="┐D(y)∨┐L(y)";
         String k2="D(a)";
         String k3="I(a)";
         String k4="┐I(z)∨R(z)";*/
         String k=Main.读数();
        String k1=Main.读数();
        String k2=Main.读数();
        String k3=Main.读数();
        String k4=Main.读数();
         
         temp1=main.赋值(k);
         temp2=main.赋值(k1);
         temp3=main.赋值(k2);
         temp4=main.赋值(k3);
         temp5=main.赋值(k4); 
         
q.返回公式(q.谓词对象.返回谓词(String.valueOf(temp1,0,1),String.valueOf(temp1,1,1),String.valueOf(temp1,2,1)),q.谓词对象.返回谓词(String.valueOf(temp1,3,1),String.valueOf(temp1,4,1),String.valueOf(temp1,5,1)),"V");
q.返回公式(q.谓词对象.返回谓词(String.valueOf(temp2,0,1),String.valueOf(temp2,1,1),String.valueOf(temp2,2,1)),q.谓词对象.返回谓词(String.valueOf(temp2,3,1),String.valueOf(temp2,4,1),String.valueOf(temp2,5,1)),"V");
q.返回公式(q.谓词对象.返回谓词(String.valueOf(temp3,0,1),String.valueOf(temp3,1,1),String.valueOf(temp3,2,1)),q.谓词对象.返回谓词(String.valueOf(temp3,3,1),String.valueOf(temp3,4,1),String.valueOf(temp3,5,1)),"V");
q.返回公式(q.谓词对象.返回谓词(String.valueOf(temp4,0,1),String.valueOf(temp4,1,1),String.valueOf(temp4,2,1)),q.谓词对象.返回谓词(String.valueOf(temp4,3,1),String.valueOf(temp4,4,1),String.valueOf(temp4,5,1)),"V");
q.返回公式1(q.谓词对象.返回谓词(String.valueOf(temp5,0,1),String.valueOf(temp5,1,1),String.valueOf(temp5,2,1)),q.谓词对象.返回谓词(String.valueOf(temp5,3,1),String.valueOf(temp5,4,1),String.valueOf(temp5,5,1)),"V");

    tanchu ta=new tanchu();
     q.打印公式();
   

    }
    public static  String 读数()
    {
        
        System.out.println("请输公式:"+"("+count+")");
        count++;
        String a = null;
        BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
        try
        {
                StringTokenizer st = new StringTokenizer(br.readLine());
                while(st.hasMoreTokens())
                {   
                    a=st.nextToken();
                }
          
            
        }
        catch(Exception e){
        System.out.println("出现了异常");
        }
        return a;
    }
      public char[]  赋值(String str){
          char []temp=new char[9];
          
          int i=0;
          int j=0;
          while(i<str.length()){
         if(str.charAt(i)=='┐'){
           temp[j]='┐';
           i++;
           j++;
           continue;
         
         }
         else if(str.charAt(i)==' '){
             temp[j]=' ';
             i++;
              j++;
           continue;
         
         }
         else if(str.charAt(i)>=65&&str.charAt(i)<=90){
             if(i==0){
                 temp[j]=' ';
                 j++;
                  temp[j]=str.charAt(i); 
                    i++;
                    j++;
               continue;
         
             }
             else {
             temp[j]=str.charAt(i);
             i++;
              j++;
           continue;
             }
         }
         
           else if(str.charAt(i)>=97&&str.charAt(i)<=122){
             if(i==0){
                 temp[j]=' ';
                 j++;
                  temp[j]=str.charAt(i); 
                    i++;
                    j++;
               continue;
         
             }
             else {
             temp[j]=str.charAt(i);
             i++;
              j++;
           continue;
             }
         }
         
         else if(str.charAt(i)=='∨'){
                
             i++;
             if(str.charAt(i)=='┐'){
                 
              continue;
             }
             else
             {
                j++; 
               continue;
             }
         
         }
         else if(str.charAt(i)=='('){          
             i++;
           continue;
         
         }
          else if(str.charAt(i)==')'){          
             i++;
           continue;
         
         }
          
          
          
          }
         return temp; 
      }
    
    
    
    
}