ANEXO I. Implementación en C++ del algoritmo del árbol de búsqueda de estados

Transcripción

1 ANEXO I. Implementación en C++ del algoritmo del árbol de búsqueda de estados Programa principal: Main.cpp #include <stdio.h> #include <stdlib.h> #include "ident.h" #include <time.h> #include<conio.h> #include<string.h> #pragma once #pragma warning(disable : 4996) void main() FILE *fichero1; FILE *fichero2; FILE *fichero3; FILE *fichero4; FILE *fichero5; Ident one; char c[20]; fichero1 = fopen("secuencia_ceros.txt","r"); if(fichero1 == NULL) printf("ha habido un error al acceder al fichero\n"); exit(-1); fichero2 = fopen("secuencia_unos.txt","r"); if(fichero2 == NULL) printf("ha habido un error al acceder al fichero\n"); exit(-1); printf("introduzca el nombre del fichero de salida1(entradas)\n*por defecto salida.dao (pulse 1)*\n"); scanf("%s",c); if (c[0]=='1'&&c[2]==-52) fichero3 = fopen("salida.dao","w"); fichero3 = fopen(c,"w"); if(fichero3 == NULL) printf("ha habido un error al acceder al fichero\n"); exit(-1); printf("introduzca el nombre del fichero de salida2(transiciones)\n*por defecto salida.dao (pulse 1)*\n"); scanf("%s",c); 235

2 if (c[0]=='1'&&c[2]==-52) fichero4 = fopen("salida.dao","w"); fichero4 = fopen(c,"w"); if(fichero4 == NULL) printf("ha habido un error al acceder al fichero\n"); exit(-1); printf("introduzca el nombre del fichero de salida3(estados)\n*por defecto salida.dao (pulse 1)*\n"); scanf("%s",c); if (c[0]=='1'&&c[2]==-52) fichero5 = fopen("salida.dao","w"); fichero5 = fopen(c,"w"); if(fichero5 == NULL) printf("ha habido un error al acceder al fichero\n"); exit(-1); printf("ficheros abiertos\n"); one.leersecuencia(fichero1,fichero2); printf("secuencias obtenidas\n"); one.escribirmatriz1(fichero3); one.escribirtran(); one.escribirmatriz(fichero4); one.buscarest_nivel1(); one.completar_nivel1(); one.buscarest_nivel2(); one.completar_nivel2(); one.buscarest_nivel3(); one.completar_nivel3(); one.buscarest_nivel4(); one.completar_nivel4(); one.completar_nivel5(); one.escribir(fichero5); printf("identificacion terminada\n\n"); 236

3 Fichero que contiene la clase: Ident.h #pragma once #include <stdio.h> #include <conio.h> #include <stdlib.h> #ifndef IDENT #define IDENT #define N 129 #define M 14 //número de filas de la matriz de transiciones //número de columnas de la matriz de transiciones extern int** matran; //MATRIZ DE TRANSICIONES POR NIVELES extern int** mat; //MATRIZ QUE CONTIENE LOS FICHEROS DE ENTRADA extern int** estados; extern int vec1[4]; extern int vec2[4]; extern bool igual; extern int est0,est1,est2,est3; extern int nivel; extern int indice; extern bool coincide; extern int desplaza; class Ident public: Ident(void); void leersecuencia(file *fin,file *fout); void escribirmatriz1(file *fsal); void escribirtran(); void escribirmatriz(file *fconf); void buscarest_nivel1(); void completar_nivel1(); void buscarest_nivel2(); void completar_nivel2(); void buscarest_nivel3(); void completar_nivel3(); void buscarest_nivel4(); void completar_nivel4(); void completar_nivel5(); void escribevectores(int nivel,int indice); void escribevectores2(int nivel,int indice void escribevectores3(int nivel,int indice bool comprobar_arbol0(bool coinc,int indic bool comprobar_arbol1(bool coinc,int indic bool comprobar_arbol2(bool coinc,int indic); bool comprobar_arbol03(bool coinc,int indic); bool comprobar_arbol13(bool coinc,int indic); bool comprobar_arbol23(bool coinc,int indic); bool comprobar_arbol33(bool coinc,int indic); bool comprobar_arbol43(bool coinc,int indic); bool comprobar_arbol53(bool coinc,int indic); 237

4 bool comprobar_arbol63(bool coinc,int indic); bool comprobar_arbol04(bool coinc,int indic); bool comprobar_arbol14(bool coinc,int indic); bool comprobar_arbol24(bool coinc,int indic); bool comprobar_arbol34(bool coinc,int indic); bool comprobar_arbol44(bool coinc,int indic); bool comprobar_arbol54(bool coinc,int indic); bool comprobar_arbol64(bool coinc,int indic); bool comprobar_arbol74(bool coinc,int indic); bool comprobar_arbol84(bool coinc,int indic); bool comprobar_arbol94(bool coinc,int indic); bool comprobar_arbol104(bool coinc,int indic); bool comprobar_arbol114(bool coinc,int indic); bool comprobar_arbol124(bool coinc,int indic); bool comprobar_arbol134(bool coinc,int indic); bool comprobar_arbol144(bool coinc,int indic); bool iguales (bool igual); void escribir(file *fsalida); ~Ident(void); ; #endif 238

5 Fichero que contiene los subprogramas: Ident.cpp #include "Ident.h" #include <stdio.h> #include <stdlib.h> #include <math.h> #include <time.h> #pragma once int** matran; //MATRIZ DE TRANSICIONES POR NIVELES int** mat; //MATRIZ QUE CONTIENE LOS FICHEROS DE ENTRADA int** estados; int vec1[4]; int vec2[4]; bool igual; int est0,est1,est2,est3; int nivel; int indice; bool coincide; int desplaza; Ident::Ident(void) void Ident::leersecuencia(FILE *fin,file *fout) int i; int j; mat = new int*[129];//asignacion espacio para matriz entradas for (int s=0; s<129; s++) mat[s]= new int[14]; j=0; i= -1; while (!feof(fin))//escritura de los primeros 64 datos j=0; i++; while (j<14) fscanf(fin,"%d",&mat[i][j]); j++; j=0; i=63; while (!feof(fout))//escritura de datos en la matriz (64-128) j=0; i++; while (j<14) 239

6 fscanf(fout,"%d",&mat[i][j]); j++; for (j=0; j<14; j++) //Escritura de la última fila de la matriz mat[128][j] = 0; void Ident::escribirmatriz1(FILE *fsal) int i,j; for(i<n;i++) for(j=0;j<m;j++) fprintf(fsal,"%d ",mat[i][j]); fprintf(fsal,"\n"); void Ident::escribirtran() int i,j,m,n; matran = new int*[7]; for (i<7;i++) matran[i]= new int [4*pow(2.0,i)]; //creo una matriz de 7 filas(niveles) y tantas columnas como transiciones for(i<7;i++) for(j=0;j<4*pow(2.0,i);j++) matran[i][j]= -1; m=0; n=0; j=0; while (j<7) n=0; while (i<128) if (mat[i][j]!= mat[i+1][j]) matran[m][n]= mat[i][j]; n=n+1; matran[m][n] = mat[i][j+7]; n=n+1; i++; 240

7 m=m+1; j=j+1; void Ident::escribirmatriz(FILE *fconf) int i,j; for(i<7;i++) for(j=0;j<4*pow(2.0,i);j++) fprintf(fconf,"%d ",matran[i][j]); fprintf(fconf,"\n"); void Ident::buscarest_nivel1() int i,j; int k; bool igu; bool mismo; est0=0; est1=1; est2=2; est3=3; estados = new int*[7]; for (i<7;i++) estados[i]= new int [pow(2.0,i)]; //creo una matriz de 7 filas(niveles) y tantas columnas como estados for(i<7;i++) //inicializo la matriz a -1 for(j=0;j<pow(2.0,i);j++) estados[i][j]= -1; estados[0][0]=est0; //relleno primer estado for (i<1;i++) for(j=0;j<4;j++) vec1[j]= matran[i][j]; vec2[j]= matran[i+1][j]; igu =iguales(igual); //creo dos vectores para comparar estados 241

8 mismo=true; if (igu ==false) //si no son iguales es otro estado estados[1][0]= est1; //si son iguales comparo arboles generados a partir de cada estado while (mismo==true && i<5) for (i=1;i<5;i++) for(j=0;j<4*pow(2.0,i);j++) if (matran[i][j]!= matran[i+1][j]) mismo=false; estados[1][0]=estados[0][0]; if (mismo==false) //si el árbol generado no es el mismo es otro estado estados[1][0]=est1; for (i<1;i++) for(j=0;j<4;j++) vec1[j]= matran[i][j]; vec2[j]= matran[i+1][j+4]; igu=iguales (igual); mismo=true; if (igu==false) estados[1][1]= est1; while (mismo==true && i<5) for (i=1;i<5;i++) for(j=0;j<4*pow(2.0,i);j++) k=4*pow(2.0,i); if (matran[i][j]!= matran[i+1][j+k]) mismo=false; estados[1][1]=estados[0][0]; 242

9 if (mismo==false && estados[1][0]==est0) estados[1][1]=est1; if (mismo==false && estados[1][0]==est1) estados[1][1]=est2; void Ident::completar_nivel1() int m,n; if (estados[1][0]== estados[0][0]) for(m=2; m<7;m++) for(n=0; n<1; n++) estados[m][n]= estados[1][0]; estados[m][n+1]= estados[1][1]; if (estados[1][1]==estados[0][0]) for(m=2;m<7;m++) for(n=2;n<3;n++) estados[m][n]=estados[1][0]; estados[m][n+1]= estados[1][1]; void Ident::buscarest_nivel2() int i,j; bool igu0,igu1,igu2,mismo; int cont; int est_nuevo; int contador,salir; bool coincide0,coincide1,coincide2; contador=0; while (contador<5) igu1=true; igu2=true; coincide0=true; coincide1=true; coincide2=true; 243

10 while (estados[2][i]!= -1 && i<4) //busco primer nodo sin asignar estado i++; indice=i; contador=i; if (i==4) completar_nivel2(); //si todos los estados estan completos desplaza=0; nivel=0; escribevectores(nivel,indice); igu0 =iguales(igual); if (igu0==true) // si coincide con estados[0][0] coincide0=comprobar_arbol0(coincide,indice); if (coincide0==true) estados[2][indice]=estados[0][0]; igu0=false; if (igu0==false coincide0==false) //si no coincide con estados[0][0] nivel=nivel+1; escribevectores(nivel,indice); igu1=iguales(igual); if (igu1==true) coincide1=comprobar_arbol1(coincide,indice); if (coincide1==true) estados[2][indice]=estados[1][0]; if (igu1==false coincide1==false) //si no coincide con estados[1][0] desplaza=4; escribevectores(nivel,indice); igu2=iguales(igual); if (igu2==true) coincide2=comprobar_arbol2(coincide,indice); if (coincide2==true) estados[2][indice]=estados[1][1]; if (igu2==false coincide2==false) //si tampoco coincide con estados[1][1] est_nuevo=est1; 244

11 if ((est_nuevo=estados[1][0] && estados[1][1]==est2) (est_nuevo==estados[1][1] && estados[1][0]==est2)) estados[2][indice]= est3; estados[2][indice]=est2; i=indice; contador=contador+1; void Ident:: completar_nivel2() int i,k; k=0; while(i<4) if (estados[2][i]==estados[0][0]) estados[3][k]=estados[1][0]; estados[3][k+1]=estados[1][1]; if (estados[2][i]==estados[1][0]) estados[3][k]=estados[2][0]; estados[3][k+1]=estados[2][1]; if (estados[2][i]==estados[1][1]) estados[3][k]=estados[2][2]; estados[3][k+1]=estados[2][3]; k=k+2; i=i+1; void Ident::buscarest_nivel3() int i,j; bool igu0,igu1,igu2,igu3,igu4,igu5,igu6; int cont; int est_nuevo; int contador,salir; bool coincide0,coincide1,coincide2,coincide3,coincide4,coincide5,coincide6; contador=0; while (contador<9) igu1=true; igu2=true; 245

12 igu3=true; igu4=true, igu5=true; igu6=true; coincide0=true; coincide1=true; coincide2=true; coincide3=true; coincide4=true; coincide5=true; coincide6=true; while (estados[3][i]!= -1 && i<8)//busco primer nodo sin asignar estado i++; indice=i; contador=i; if (i==8) completar_nivel3();//si todos los estados estan completos desplaza=0; nivel=0; escribevectores2(nivel,indice); igu0 =iguales(igual); if (igu0==true) // si coincide con estados[0][0] coincide0=comprobar_arbol03(coincide,indice); if (coincide0==true) estados[3][indice]=estados[0][0]; igu0=false; if (igu0==false coincide0==false) //si no coincide con estados[0][0] nivel=nivel+1; escribevectores2(nivel,indice); igu1=iguales(igual); if (igu1==true) coincide1=comprobar_arbol13(coincide,indice); if (coincide1==true) estados[3][indice]=estados[1][0]; if (igu1==false coincide1==false) //si no coincide con estados[1][0] desplaza=4; escribevectores2(nivel,indice); igu2=iguales(igual); if (igu2==true) coincide2=comprobar_arbol23(coincide,indice); 246

13 if (coincide2==true) estados[3][indice]=estados[1][1]; if(igu2==false coincide2==false) desplaza=0; nivel=nivel+1; escribevectores2(nivel,indice); igu3=iguales(igual); if (igu3==true) coincide3=comprobar_arbol33(coincide,indice); if (coincide3==true) estados[3][indice]=estados[2][0]; if(igu3==false coincide3==false) desplaza=4;; escribevectores2(nivel,indice); igu4=iguales(igual); if (igu4==true) coincide4=comprobar_arbol43(coincide,indice); if (coincide4==true) estados[3][indice]=estados[2][1]; if(igu4==false coincide4==false) desplaza=8; escribevectores2(nivel,indice); igu5=iguales(igual); if (igu5==true) coincide5=comprobar_arbol53(coincide,indice); if (coincide5==true) estados[3][indice]=estados[2][2]; if(igu5==false coincide5==false) desplaza=12; escribevectores2(nivel,indice); igu6=iguales(igual); if (igu6==true) coincide6=comprobar_arbol63(coincide,indice); if (coincide6==true) estados[3][indice]=estados[2][3]; if (igu6==false coincide6==false) //si tampoco coincide con estados[2][3] estados[3][indice]=est3; i=indice; contador=contador+1; 247

14 void Ident::completar_nivel3() int i,k; k=0; while(i<8) if (estados[3][i]==estados[0][0]) estados[4][k]=estados[1][0]; estados[4][k+1]=estados[1][1]; if (estados[3][i]==estados[1][0]) estados[4][k]=estados[2][0]; estados[4][k+1]=estados[2][1]; if (estados[3][i]==estados[1][1]) estados[4][k]=estados[2][2]; estados[4][k+1]=estados[2][3]; if (estados[3][i]==estados[2][0]) estados[4][k]=estados[3][0]; estados[4][k+1]=estados[3][1]; if (estados[3][i]==estados[2][1]) estados[4][k]=estados[3][2]; estados[4][k+1]=estados[3][3]; if (estados[3][i]==estados[2][2]) estados[4][k]=estados[3][4]; estados[4][k+1]=estados[3][5]; if (estados[3][i]==estados[2][3]) estados[4][k]=estados[3][6]; estados[4][k+1]=estados[3][7]; k=k+2; i=i+1; void Ident::buscarest_nivel4() int i,j; bool igu0,igu1,igu2,igu3,igu4,igu5,igu6; bool igu7,igu8,igu9,igu10,igu11,igu12,igu13,igu14; int cont; int est_nuevo; 248

15 int contador,salir; boolcoincide0,coincide1,coincide2,coincide3,coincide4,coincide5, coincide6; boolcoincide7,coincide8,coincide9,coincide10,coincide11, coincide12,coincide13,coincide14; contador=0; while (contador<16) igu1=true; igu2=true; igu3=true; igu4=true, igu5=true; igu6=true; igu7=true; igu8=true; igu9=true; igu10=true; igu11=true, igu12=true; igu13=true; igu14=true; coincide0=true; coincide1=true; coincide2=true; coincide3=true; coincide4=true; coincide5=true; coincide6=true; coincide7=true; coincide8=true; coincide9=true; coincide10=true; coincide11=true; coincide12=true; coincide13=true; coincide14=true; while (estados[4][i]!= -1 && i<16) //busco primer nodo sin asignar estado i++; indice=i; contador=i; if (i==16) completar_nivel4();//si todos los estados estan completos desplaza=0; nivel=0; escribevectores3(nivel,indice); igu0 =iguales(igual); 249

16 if (igu0==true) // si coincide con estados[0][0] coincide0=comprobar_arbol04(coincide,indice); if (coincide0==true) estados[4][indice]=estados[0][0]; igu0=false; if (igu0==false coincide0==false) //si no coincide con estados[0][0] nivel=nivel+1; escribevectores3(nivel,indice); igu1=iguales(igual); if (igu1==true) coincide1=comprobar_arbol14(coincide,indice); if (coincide1==true) estados[4][indice]=estados[1][0]; if (igu1==false coincide1==false) //si no coincide con estados[1][0] desplaza=4; escribevectores3(nivel,indice); igu2=iguales(igual); if (igu2==true) coincide2=comprobar_arbol24(coincide,indice); if (coincide2==true) estados[4][indice]=estados[1][1]; if(igu2==false coincide2==false) desplaza=0; nivel=nivel+1; escribevectores3(nivel,indice); igu3=iguales(igual); if (igu3==true) coincide3=comprobar_arbol34(coincide,indice); if (coincide3==true) estados[4][indice]=estados[2][0]; if(igu3==false coincide3==false) desplaza=4;; escribevectores3(nivel,indice); igu4=iguales(igual); if (igu4==true) coincide4=comprobar_arbol44(coincide,indice); if (coincide4==true) estados[4][indice]=estados[2][1]; 250

17 if(igu4==false coincide4==false) desplaza=8; escribevectores3(nivel,indice); igu5=iguales(igual); if (igu5==true) coincide5=comprobar_arbol54(coincide,indice); if (coincide5==true) estados[4][indice]=estados[2][2]; if(igu5==false coincide5==false) desplaza=12; escribevectores3(nivel,indice); igu6=iguales(igual); if (igu6==true) coincide6=comprobar_arbol64(coincide,indice); if (coincide6==true) estados[4][indice]=estados[2][3]; if (igu6==false coincide6==false) //si tampoco coincide con estados[2][3] desplaza=0; nivel=nivel+1; escribevectores3(nivel,indice); igu7=iguales(igual); if (igu7==true) coincide7=comprobar_arbol74(coincide,indice); if (coincide7==true) estados[4][indice]=estados[3][0]; if (igu7==false coincide7==false) //si tampoco coincide con estados[2][3] desplaza=4; escribevectores3(nivel,indice); igu8=iguales(igual); if (igu8==true) coincide8=comprobar_arbol84(coincide,indice); if (coincide8==true) estados[4][indice]=estados[3][1]; if (igu8==false coincide8==false) //si tampoco coincide con estados[2][3] desplaza=8; escribevectores3(nivel,indice); igu9=iguales(igual); if (igu9==true) coincide9=comprobar_arbol94(coincide,indice); if (coincide9==true) 251

18 252 estados[4][indice]=estados[3][2]; if (igu9==false coincide9==false) //si tampoco coincide con estados[2][3] desplaza=12; escribevectores3(nivel,indice); igu10=iguales(igual); if (igu10==true) coincide10=comprobar_arbol104(coincide,indice); if (coincide10==true) estados[4][indice]=estados[3][3]; if (igu10==false coincide10==false) //si tampoco coincide con estados[2][3] desplaza=16; escribevectores3(nivel,indice); igu11=iguales(igual); if (igu11==true) coincide11=comprobar_arbol114(coincide,indice); if (coincide11==true) estados[4][indice]=estados[3][4]; if (igu11==false coincide11==false) //si tampoco coincide con estados[2][3] desplaza=20; escribevectores3(nivel,indice); igu12=iguales(igual); if (igu12==true) coincide12=comprobar_arbol124(coincide,indice); if (coincide12==true) estados[4][indice]=estados[3][5]; if (igu12==false coincide12==false) //si tampoco coincide con estados[2][3] desplaza=24; escribevectores3(nivel,indice); igu13=iguales(igual); if (igu13==true) coincide13=comprobar_arbol134(coincide,indice); if (coincide13==true) estados[4][indice]=estados[3][6]; if (igu13==false coincide13==false) //si tampoco coincide con estados[2][3] desplaza=28; escribevectores3(nivel,indice); igu14=iguales(igual);

19 Anexo I if (igu14==true) coincide14=comprobar_arbol144(coincide,indice); if (coincide14==true) estados[4][indice]=estados[3][7]; i=indice; contador=contador+1; void Ident::completar_nivel4() int i,k; k=0; while(i<16) if (estados[4][i]==estados[0][0]) estados[5][k]=estados[1][0]; estados[5][k+1]=estados[1][1]; if (estados[4][i]==estados[1][0]) estados[5][k]=estados[2][0]; estados[5][k+1]=estados[2][1]; if (estados[4][i]==estados[1][1]) estados[5][k]=estados[2][2]; estados[5][k+1]=estados[2][3]; if (estados[4][i]==estados[2][0]) estados[5][k]=estados[3][0]; estados[5][k+1]=estados[3][1]; if (estados[4][i]==estados[2][1]) estados[5][k]=estados[3][2]; estados[5][k+1]=estados[3][3]; if (estados[4][i]==estados[2][2]) estados[5][k]=estados[3][4]; estados[5][k+1]=estados[3][5]; if (estados[4][i]==estados[2][3]) estados[5][k]=estados[3][6]; estados[5][k+1]=estados[3][7]; if (estados[4][i]==estados[3][0]) 253

20 estados[5][k]=estados[4][0]; estados[5][k+1]=estados[4][1]; if (estados[4][i]==estados[3][1]) estados[5][k]=estados[4][2]; estados[5][k+1]=estados[4][3]; if (estados[4][i]==estados[3][2]) estados[5][k]=estados[4][4]; estados[5][k+1]=estados[4][5]; if (estados[4][i]==estados[3][3]) estados[5][k]=estados[4][6]; estados[5][k+1]=estados[4][7]; if (estados[4][i]==estados[3][4]) estados[5][k]=estados[4][8]; estados[5][k+1]=estados[4][9]; if (estados[4][i]==estados[3][5]) estados[5][k]=estados[4][10]; estados[5][k+1]=estados[4][11]; if (estados[4][i]==estados[3][6]) estados[5][k]=estados[4][12]; estados[5][k+1]=estados[4][13]; if (estados[4][i]==estados[3][7]) estados[5][k]=estados[4][14]; estados[5][k+1]=estados[4][15]; k=k+2; i=i+1; void Ident::completar_nivel5() int i,k; k=0; while(i<32) if (estados[5][i]==estados[0][0]) estados[6][k]=estados[1][0]; estados[6][k+1]=estados[1][1]; if (estados[5][i]==estados[1][0]) estados[6][k]=estados[2][0]; estados[6][k+1]=estados[2][1]; 254

21 if (estados[5][i]==estados[1][1]) estados[6][k]=estados[2][2]; estados[6][k+1]=estados[2][3]; if (estados[5][i]==estados[2][0]) estados[6][k]=estados[3][0]; estados[6][k+1]=estados[3][1]; if (estados[5][i]==estados[2][1]) estados[6][k]=estados[3][2]; estados[6][k+1]=estados[3][3]; if (estados[5][i]==estados[2][2]) estados[6][k]=estados[3][4]; estados[6][k+1]=estados[3][5]; if (estados[5][i]==estados[2][3]) estados[6][k]=estados[3][6]; estados[6][k+1]=estados[3][7]; if (estados[5][i]==estados[3][0]) estados[6][k]=estados[4][0]; estados[6][k+1]=estados[4][1]; if (estados[5][i]==estados[3][1]) estados[6][k]=estados[4][2]; estados[6][k+1]=estados[4][3]; if (estados[5][i]==estados[3][2]) estados[6][k]=estados[4][4]; estados[6][k+1]=estados[4][5]; if (estados[5][i]==estados[3][3]) estados[6][k]=estados[4][6]; estados[6][k+1]=estados[4][7]; if (estados[5][i]==estados[3][4]) estados[6][k]=estados[4][8]; estados[6][k+1]=estados[4][9]; if (estados[5][i]==estados[3][5]) estados[6][k]=estados[4][10]; estados[6][k+1]=estados[4][11]; if (estados[5][i]==estados[3][6]) estados[6][k]=estados[4][12]; estados[6][k+1]=estados[4][13]; if (estados[5][i]==estados[3][7]) 255

22 estados[6][k]=estados[4][14]; estados[6][k+1]=estados[4][15]; k=k+2; i=i+1; void Ident::escribevectores(int nivel,int indice) int i,j,k; if (nivel==0) k=2; if (nivel==1) k=1; //creo dos vectores para comparar estados for(j=0;j<4;j++) vec1[j]= matran[nivel][j+desplaza]; vec2[j]= matran[nivel+k][j+(4*indice)]; void Ident::escribevectores2(int nivel, int indice) int i,j,k; if (nivel==0) k=3; if (nivel==1) k=2; if (nivel==2) k=1; for(j=0;j<4;j++) vec1[j]= matran[nivel][j+desplaza]; vec2[j]= matran[nivel+k][j+(4*indice)]; void Ident::escribevectores3(int nivel, int indice) int i,j,k; if (nivel==0) k=4; if (nivel==1) k=3; if (nivel==2) k=2; if (nivel==3) k=1; for(j=0;j<4;j++) 256

23 vec1[j]= matran[nivel][j+desplaza]; vec2[j]= matran[nivel+k][j+(4*indice)]; bool Ident::comprobar_arbol0 (bool coincide, int indice) int i,j,k; for (i=1;i<5;i++) for(j=0;j<4*pow(2.0,i);j++) k=indice*pow(2.0,i+2); if (matran[i][j]!= matran[i+2][j+k]) bool Ident::comprobar_arbol1(bool coincide,int indice) int i,j,k; for (i=2;i<6;i++) for(j=0;j<2*pow(2.0,i);j++) k=indice*pow(2.0,i+1); if (matran[i][j]!=matran[i+1][j+k]) coincide=false; 257

24 bool Ident::comprobar_arbol2(bool coincide, int indice) int i,j,k,m,n,p; for (i=2;i<6;i++) for(j=0;j<2*pow(2.0,i);j++) k=2*pow(2.0,i); p=indice*pow(2.0,i+1); if (matran[i][j+p]!=matran[i+1][j+k]) coincide=false; bool Ident::comprobar_arbol03(bool coincide,int indice) int i,j,k; for (i=1;i<4;i++) for(j=0;j<4*pow(2.0,i);j++) k=indice*pow(2.0,i+2); if (matran[i][j]!= matran[i+3][j+k]) bool Ident::comprobar_arbol13(bool coincide,int indice) int i,j,k; for (i=2;i<5;i++) 258

25 for(j=0;j<2*pow(2.0,i);j++) k=indice*pow(2.0,i+1); if (matran[i][j]!= matran[i+2][j+k]) bool Ident::comprobar_arbol23(bool coincide,int indice) int i,j,k,p; for (i=2;i<5;i++) for(j=0;j<2*pow(2.0,i);j++) k=2*pow(2.0,i); p=indice*pow(2.0,i+1); if (matran[i][j+k]!= matran[i+2][j+p]) bool Ident::comprobar_arbol33(bool coincide,int indice) int i,j,k; for (i=3;i<6;i++) for(j=0;j<pow(2.0,i);j++) k=indice*pow(2.0,i); 259

26 if (matran[i][j]!= matran[i+1][j+k]) bool Ident::comprobar_arbol43(bool coincide,int indice) int i,j,k,p; for (i=3;i<6;i++) for(j=0;j<pow(2.0,i);j++) k=pow(2.0,i); p=indice*pow(2.0,i); if (matran[i][j+k]!= matran[i+1][j+p]) bool Ident::comprobar_arbol53(bool coincide,int indice) int i,j,k,p; for (i=3;i<6;i++) for(j=0;j<pow(2.0,i);j++) k=2*pow(2.0,i); p=indice*pow(2.0,i); if (matran[i][j+k]!= matran[i+1][j+p]) 260

27 bool Ident::comprobar_arbol63(bool coincide,int indice) int i,j,k,p; for (i=3;i<6;i++) for(j=0;j<pow(2.0,i);j++) k=3*pow(2.0,i); p=indice*pow(2.0,i); if (matran[i][j+k]!= matran[i+1][j+p]) bool Ident::comprobar_arbol04(bool coincide,int indice) int i,j,k; for (i=1;i<3;i++) for(j=0;j<4*pow(2.0,i);j++) k=indice*pow(2.0,i+2); if (matran[i][j]!= matran[i+4][j+k]) 261

28 bool Ident::comprobar_arbol14(bool coincide,int indice) int i,j,k; for (i=2;i<4;i++) for(j=0;j<2*pow(2.0,i);j++) k=indice*pow(2.0,i+1); if (matran[i][j]!= matran[i+3][j+k]) bool Ident::comprobar_arbol24(bool coincide,int indice) int i,j,k,p; for (i=2;i<4;i++) for(j=0;j<2*pow(2.0,i);j++) k=2*pow(2.0,i); p=indice*pow(2.0,i+1); if (matran[i][j+k]!= matran[i+3][j+p]) 262

29 bool Ident::comprobar_arbol34(bool coincide,int indice) int i,j,k; for (i=3;i<5;i++) for(j=0;j<pow(2.0,i);j++) k=indice*pow(2.0,i); if (matran[i][j]!= matran[i+2][j+k]) bool Ident::comprobar_arbol44(bool coincide,int indice) int i,j,k,p; for (i=3;i<5;i++) for(j=0;j<pow(2.0,i);j++) k=pow(2.0,i); p=indice*pow(2.0,i); if (matran[i][j+k]!= matran[i+2][j+p]) bool Ident::comprobar_arbol54(bool coincide,int indice) int i,j,k,p; for (i=3;i<5;i++) for(j=0;j<pow(2.0,i);j++) 263

30 k=2*pow(2.0,i); p=indice*pow(2.0,i); if (matran[i][j+k]!= matran[i+2][j+p]) bool Ident::comprobar_arbol64(bool coincide,int indice) int i,j,k,p; for (i=3;i<5;i++) for(j=0;j<pow(2.0,i);j++) k=3*pow(2.0,i); p=indice*pow(2.0,i); if (matran[i][j+k]!= matran[i+2][j+p]) bool Ident::comprobar_arbol74(bool coincide,int indice) int i,j,k; for (i=4;i<6;i++) for(j=0;j<pow(2.0,i-1);j++) k=indice*pow(2.0,i-1); if (matran[i][j]!= matran[i+1][j+k]) 264

31 bool Ident::comprobar_arbol84(bool coincide,int indice) int i,j,k,p; for (i=4;i<6;i++) for(j=0;j<pow(2.0,i-1);j++) k=pow(2.0,i-1); p=indice*pow(2.0,i-1); if (matran[i][j+k]!= matran[i+1][j+p]) bool Ident::comprobar_arbol94(bool coincide,int indice) int i,j,k,p; for (i=4;i<6;i++) for(j=0;j<pow(2.0,i-1);j++) k=pow(2.0,i); p=indice*pow(2.0,i-1); if (matran[i][j+k]!= matran[i+1][j+p]) 265

32 bool Ident::comprobar_arbol104(bool coincide,int indice) int i,j,k,p; for (i=4;i<6;i++) for(j=0;j<pow(2.0,i-1);j++) k=3*pow(2.0,i-1); p=indice*pow(2.0,i-1); if (matran[i][j+k]!= matran[i+1][j+p]) bool Ident::comprobar_arbol114(bool coincide,int indice) int i,j,k,p; for (i=4;i<6;i++) for(j=0;j<pow(2.0,i-1);j++) k=4*pow(2.0,i-1); p=indice*pow(2.0,i-1); if (matran[i][j+k]!= matran[i+1][j+p]) bool Ident::comprobar_arbol124(bool coincide,int indice) int i,j,k,p; for (i=4;i<6;i++) for(j=0;j<pow(2.0,i-1);j++) 266

33 k=5*pow(2.0,i-1); p=indice*pow(2.0,i-1); if (matran[i][j+k]!= matran[i+1][j+p]) bool Ident::comprobar_arbol134(bool coincide,int indice) int i,j,k,p; for (i=4;i<6;i++) for(j=0;j<pow(2.0,i-1);j++) k=6*pow(2.0,i-1); p=indice*pow(2.0,i-1); if (matran[i][j+k]!= matran[i+1][j+p]) bool Ident::comprobar_arbol144(bool coincide,int indice) int i,j,k,p; for (i=4;i<6;i++) for(j=0;j<pow(2.0,i-1);j++) k=7*pow(2.0,i-1); p=indice*pow(2.0,i-1); if (matran[i][j+k]!= matran[i+1][j+p]) 267

34 bool Ident::iguales (bool igual) igual =true; int while(i<4 && igual==true)//comprobamos si vectores son = if (vec1[i]== vec2[i]) igual =true; i=i+1; igual=false; return (igual); void Ident::escribir(FILE *fsalida) int i,j; for(i<7;i++) for(j=0;j<pow(2.0,i);j++) fprintf(fsalida,"%d ",estados[i][j]); fprintf(fsalida,"\n"); Ident::~Ident(void) 268

35

36

37 I ANEXO II. Resultados Ficheros de entrada almacenados en matriz de 128 filas por 14 columnas

38 I

39 I Matriz de transiciones Fila 1: Fila 2: Fila 3: Fila 4: Fila 5: Fila 6: Fila 7:

40 I Matriz de estados Fila 1 : 0 Fila 2: 0 1 Fila 3: Fila 4: Fila 5: Fila 6: Fila 7: