//Considerar linguagem vazia O
import java.util.ArrayList;

public class Arquivo {

    public static void main(String[] args) throws Exception {    	
    	
    	Arquivoclass arquivo = new Arquivoclass("entrada.txt","saida.txt");
    	
    	/*Automato_AFN xixi = new Automato_AFN();
    	Transicao_AFN coco = new Transicao_AFN();
    	Transicao_AFN coco2 = new Transicao_AFN();
    	
    	coco = xixi.setAutomatoBase("a");
    	coco2 = xixi.setAutomatoBase("b");
    	coco = xixi.operacaoUniao(coco, coco2);
    	coco = xixi.operacaoEstrela(coco);
    	arquivo.println(coco.get_saida(0).get_saida(0).get_saida(0).get_especificacao(0));*/
    	
        int expressoes;
        int conjunto = 0;
        String stringER;
        String gambiarra;
        String auxiliar;
        ArrayList<Transicao_AFN> array_automatosAFN = new ArrayList<Transicao_AFN>();
        Automato_AFN automatoAFNtemp = new Automato_AFN();
        Automato_AFD automatoAFDtemp = new Automato_AFD();
        ArrayList<Integer> nomes = new ArrayList<Integer>();
    	
        while(!arquivo.isEndOfFile()) {
        	conjunto++;
        	if(conjunto != 1) arquivo.print("\n");
        	arquivo.println("conjunto #" + conjunto);
        	stringER = "";
        	auxiliar = "";
        	   
        	stringER = arquivo.readLine();
        		
        	for(int i=0; i<stringER.length();i++){
        		
        		gambiarra = "";
    			gambiarra = gambiarra + stringER.charAt(i);
    			
        		auxiliar = auxiliar + gambiarra;
        		
        		if(stringER.charAt(i)=='0' || stringER.charAt(i)=='1' || stringER.charAt(i)=='e' || stringER.charAt(i)=='O' ){
        			
        			gambiarra = "";
        			gambiarra = gambiarra + stringER.charAt(i);
        			
               		Transicao_AFN transtemp = new Transicao_AFN();
               		if(stringER.charAt(i)=='0' || stringER.charAt(i)=='1') transtemp = automatoAFNtemp.setAutomatoBase(gambiarra);
               		else if(stringER.charAt(i)=='e') transtemp = automatoAFNtemp.Cadeiavazia();
               		else if(stringER.charAt(i)=='O') transtemp = automatoAFNtemp.LinguagemVazia();
               		
        			array_automatosAFN.add(transtemp);
        		}

        		
        		else if(stringER.charAt(i) == ')'){
        			
        			if(auxiliar.charAt(auxiliar.length()-3) == 'u'){ //uniao
        				
        				//arquivo.println(array_automatosAFN.get((array_automatosAFN.size())-2).get_especificacao(0));
        				
        				array_automatosAFN.add((array_automatosAFN.size())-2, automatoAFNtemp.operacaoUniao(array_automatosAFN.get((array_automatosAFN.size())-2), array_automatosAFN.get((array_automatosAFN.size())-1)) );
        				
        				//arquivo.println(array_automatosAFN.get((array_automatosAFN.size())-3).get_saida(1).get_especificacao(0));
        				
        				array_automatosAFN.remove((array_automatosAFN.size())-1);
        				array_automatosAFN.remove((array_automatosAFN.size())-1);
        				
        				//arquivo.println(array_automatosAFN.get((array_automatosAFN.size())-1).get_saida(1).get_especificacao(0));
        				
        				//arquivo.println(array_automatosAFN.get((array_automatosAFN.size())-2).get_especificacao(0));
        				//arquivo.println("uniao");
        				//automatoAFNtemp.passear_Darnomes_estados(array_automatosAFN.get(array_automatosAFN.size()-1), 0, arquivo);
        				//arquivo.print("\n\n\n\n");
            			//automatoAFNtemp.passear_Verificar_caminhos(array_automatosAFN.get(array_automatosAFN.size()-1), arquivo);
        				
        				for(int j=0;j<5;j++ ) auxiliar = arquivo.removeCharAt(auxiliar, auxiliar.length()-1 );
        				
        				auxiliar = auxiliar + "r";
        			}
        			
        			else if(auxiliar.charAt(auxiliar.length()-3) == 'o'){ //concatenacao
        				//arquivo.println("aaaaaaa" + array_automatosAFN.get(0).get_especificacao(0) + array_automatosAFN.get(1).get_especificacao(0));
        				
        				array_automatosAFN.add((array_automatosAFN.size())-2, automatoAFNtemp.operacaoConcatenacao(array_automatosAFN.get((array_automatosAFN.size())-2), array_automatosAFN.get((array_automatosAFN.size())-1)) );
        				array_automatosAFN.remove((array_automatosAFN.size())-1);
        				array_automatosAFN.remove((array_automatosAFN.size())-1);
        				//arquivo.println("concat");
        				//automatoAFNtemp.passear_Darnomes_estados(array_automatosAFN.get(array_automatosAFN.size()-1), 0, arquivo);
        				//arquivo.print("\n\n\n\n");
            			//automatoAFNtemp.passear_Verificar_caminhos(array_automatosAFN.get(array_automatosAFN.size()-1), arquivo);
        				
        				for(int j=0;j<5;j++ ) auxiliar = arquivo.removeCharAt(auxiliar, auxiliar.length()-1 );
        				
        				auxiliar = auxiliar + "r";
        			}
        			
        			else if(auxiliar.charAt(auxiliar.length()-2) == '*'){ //estrela
        				
        				array_automatosAFN.add((array_automatosAFN.size())-1, automatoAFNtemp.operacaoEstrela(array_automatosAFN.get((array_automatosAFN.size())-1)));
        				array_automatosAFN.remove((array_automatosAFN.size())-1);
        				//arquivo.println("estrela");
        				//automatoAFNtemp.passear_Darnomes_estados(array_automatosAFN.get(array_automatosAFN.size()-1), 0, arquivo);
        				//arquivo.print("\n\n\n\n");
            			//automatoAFNtemp.passear_Verificar_caminhos(array_automatosAFN.get(array_automatosAFN.size()-1), arquivo);
        				
        				for(int j=0;j<4;j++ ) auxiliar = arquivo.removeCharAt(auxiliar, auxiliar.length()- 1);
        				
        				auxiliar = auxiliar + "r";
	   				}
      				
           		}
        		//arquivo.println(auxiliar);
       		}
        	
        	//arquivo.println(array_automatosAFN.get(0).get_especificacao(0));
        	
        	arquivo.print("EN-");
    
        	automatoAFNtemp.passear_Darnomes_estados(array_automatosAFN.get(0), 0, arquivo);
        	
        	arquivo.print("\nTN-");
        	
        	automatoAFNtemp.passear_Verificar_caminhos(array_automatosAFN.get(0), arquivo);
        	
        	arquivo.print("\nIN-" + "q" + array_automatosAFN.get(0).getId());
        	
        	
        	arquivo.print("\nAN-");
        	
        	for(int i = 0 ; i < array_automatosAFN.get(0).estados_finais.size();i++ )
        	{
        		if(i!=0) arquivo.print(",");
        		
        		arquivo.print("q" + array_automatosAFN.get(0).estados_finais.get(i).getId());
        	}
        	
        	nomes = automatoAFDtemp.PegaProx_e(array_automatosAFN.get(0), nomes);
        	
        	array_automatosAFN.remove(0);
        	
        	expressoes = arquivo.readInt();
        	
        	for(int i=0; i<expressoes; i++)
        	{
        		stringER = arquivo.readString();
        		//arquivo.println("expressoes: " + stringtemp);
        	}
        	
        	arquivo.print("\n");
        	
        	arquivo.readChar();
        	arquivo.readChar();
        }
        arquivo.close();
        		
       }
        
    }