f8d0eaf9b7f33d5d7e75486cdaba4e43.cpp

/*
  Name:			实现一般表示式的合一算法（50分）
  Author:		WXQ
  Date:			22-11-05 00:52
  Discription:	UNIFY
*/

#include 
#include 
#include 

using namespace std;

struct transform	// 一组置换
{
    string t_f1;
    string t_f2;
};    

bool same（const string f1const string f2） ;
transform dif（const string f1const string f2）;
string change（string ftransform q）;
string change2（string ftransform q）;
bool syncretism（const string f1const string f2 vector & ）;
int legal（transform &）;
bool var（const string s）;
string varData（string s）;

int main（）
{
    cout<<“const:capital\t“<<“varible:lowercase.“<    string f1f2;	
    cout<<“intput F1:“;
    cin>>f1;
    cout<<“intput F2:“;
    cin>>f2;
	vector  mgu;
	if（syncretism