%{
#define set_estado(x) BEGIN(_stack[_i]=x)
#define push_to_stack(x)  _stack[++_i]=YY_START; set_estado(x)
#define pop_back set_estado(_stack[--_i])

#include <string.h>
#include <ctype.h>

#define MAX 1000

int _i=0;

int _stack[MAX];

/*





*/
%}


BLANK [ \t\n]


%Start e1 e2 e3 e4 e5 e6 e7 e8 e9 e10 e11 e12 e13 e14 e15 e16 e17 e18 e19 e20 e21 e22 e23 e24 e25 e26 e27 e28 e29 e30 e31 e32 e33 e34 e35 e36 e37 e38 e39 e40 e41 e42 e43 e44 e45 e46 e47 e48 e49 e50 e51 e52 e53 e54 e55


%%

	set_estado(e1);

((\\nota\{)|(\\notatx\{))	{printf("<abrenota>");
		 		 push_to_stack(e44);}

<e44>\}	{printf("<fechanota>");
	 pop_back;}

\{\\em	{
	 push_to_stack(e51);}

<e51>\}	pop_back; 


\\lado\{	{printf("\\lado\{");
		 push_to_stack(e50);}

<e50>\}	{printf("}");
	 pop_back;}

\<matematica\>	{printf("<matematica>");
	 	 push_to_stack(e45);}

<e45>\<\/matematica\>	{printf("</matematica>");
			 pop_back;}

\\mudar\{	{
		 printf("\\mudar{");
		 push_to_stack(e47);}

<e47>\}	{
	 printf("}");
	 pop_back;}



\\begin\{displaymath\}  {printf("\n\n<displaymat>\n");
                        push_to_stack(e48);}

<e48>\\begin\{array\}\{ll\}{BLANK}*\\left\\\{{BLANK}*\\begin\{array\}\{ll\}{BLANK}*	{
							printf("<paragrafo><tabela>\n<linhas><celulas>");
							push_to_stack(e54);}

<e54>\\sep	printf("</celulas><celulas>");

<e54>\<paragrafo\>	printf("</celulas></linhas><linhas><celulas>");

<e54>\\notamk	printf("</celulas></linhas>");

<e54>\\end\{array\}{BLANK}*\\right\.{BLANK}*\\end\{array\}	{printf("\n</tabela>\n");
								 pop_back;}	


<e54,e48>\\italico\{	{printf("\n<enfasedois estilo=\"italico\">");
			 push_to_stack(e49);}


<e49>\}	{printf("</enfasedois>\n");
	 pop_back;}


<e48>\\end\{displaymath\}    {printf("\n</displaymat>\n\n");
                        pop_back;
                        }


<e1,e44,e45,e47,e50,e51>\\sublinha\{	{
		 printf("<enfasedois estilo=\"sublinha\">");
		 push_to_stack(e46);}
<e46>\}	{
	 printf("</enfasedois>");
	 pop_back;}



<e1,e44,e45,e47,e50,e51>\\realce\{	{printf("<enfasedois estilo=\"realce\">\n");
		 push_to_stack(e2);}

<e2>\\italico\{	{printf("<enfaseum estilo=\"italico\">\n");
		 push_to_stack(e3);}

<e2>\\sublinha\{	{printf("<enfaseum estilo=\"sublinha\">\n");
			 push_to_stack(e4);}


<e4>\\italico\{	{printf("<enfasezero estilo=\"italico\">\n");
		 push_to_stack(e5);}

<e2>((\\centrado\{)|(\\begin\{center\}))	{
						 printf("<alin tipo=\"centrado\">\n");
			 			 push_to_stack(e6);}

<e6>\\italico\{	{printf("<enfaseum estilo=\"italico\">\n");
		 push_to_stack(e7);}

<e6>\\sublinha\{	{
			 printf("<enfasezero estilo=\"sublinha\">\n");
			 push_to_stack(e8);}

<e7>\\sublinha\{	{
			 printf("<enfasezero estilo=\"sublinha\">\n");
			 push_to_stack(e9);}

<e8>\\italico\{	{
		 printf("<enfasezero estilo=\"italico\">\n");
		 push_to_stack(e10);}

<e5>((\\centrado\{)|(\\begin\{center\}))	{
		 	 			 printf("<alin tipo=\"centrado\">\n");
		 	 			 push_to_stack(e11);}
<e1,e44,e45,e47,e50,e51>\\italico\{	{
		 printf("<enfasedois estilo=\"italico\">\n");
		 push_to_stack(e12);}

<e12>\\realce\{	{
		 printf("<enfaseum estilo=\"realce\">\n");
		 push_to_stack(e13);}

<e13>\\sublinha\{	{
		 	 printf("<enfasezero estilo=\"sublinha\">\n");
		 	 push_to_stack(e14);}

<e14>((\\centrado\{)|(\\begin\{center\}))	{
		 	 			 printf("<alin tipo=\"centrado\">\n");
		 	 			 push_to_stack(e15);}

<e13>((\\centrado\{)|(\\begin\{center\}))	{
		 	 			 printf("<alin tipo=\"centrado\">\n");
		 	 			 push_to_stack(e16);}


<e12>\\sublinha\{	{
		 	 printf("<enfaseum estilo=\"sublinha\">\n");
		 	 push_to_stack(e18);}

<e18>\\realce\{	{
		 printf("<enfasezero estilo=\"realce\">\n");
		 push_to_stack(e19);}


<e18>((\\centrado\{)|(\\begin\{center\}))	{
		 	 			 printf("<alin tipo=\"centrado\">\n");
		 	 			 push_to_stack(e20);}

<e19>((\\centrado\{)|(\\begin\{center\}))	{
		 	 			 printf("<alin tipo=\"centrado\">\n");
		 	 			 push_to_stack(e21);}

<e20>\\realce\{	{
		 printf("<enfasezero estilo=\"realce\">\n");
		 push_to_stack(e22);}

<e12>((\\centrado\{)|(\\begin\{center\}))	{
		 	 			 printf("<alin tipo=\"centrado\">\n");
		 	 			 push_to_stack(e23);}

<e23>\\realce\{	{
		 printf("<enfaseum estilo=\"realce\">\n");
		 push_to_stack(e24);}

<e23>\\sublinha\{	{
		 	 printf("<enfaseum estilo=\"sublinha\">\n");
		 	 push_to_stack(e25);}

<e24>\\sublinha\{	{
		 	 printf("<enfasezero estilo=\"sublinha\">\n");
		 	 push_to_stack(e26);}

<e25>\\realce\{	{
		 printf("<enfasezero estilo=\"realce\">\n");
		 push_to_stack(e27);}

<e1>((\\centrado\{)|(\\begin\{center\}))	{
					 printf("<alin tipo=\"centrado\">");
					 push_to_stack(e28);}

<e28>\\realce\{	{
		 printf("<enfasedois estilo=\"realce\">");
		 push_to_stack(e29);}

<e28>\\italico\{	{
		 	 printf("<enfasedois estilo=\"italico\">");
		 	 push_to_stack(e30);}

<e28>\\sublinha\{	{
		 	 printf("<enfasedois estilo=\"sublinha\">");
		 	 push_to_stack(e31);}

<e29>\\italico\{	{
		 	 printf("<enfaseum estilo=\"italico\">");
		 	 push_to_stack(e32);}

<e29>\\sublinha\{	{
		 	 printf("<enfaseum estilo=\"sublinha\">");
		 	 push_to_stack(e33);}

<e32>\\sublinha\{	{
		 	 printf("<enfasezero estilo=\"sublinha\">");
		 	 push_to_stack(e34);}

<e33>\\italico\{	{
		 	 printf("<enfasezero estilo=\"italico\">");
		 	 push_to_stack(e35);}

<e30>\\realce\{	{
		 printf("<enfaseum estilo=\"realce\">");
		 push_to_stack(e36);}

<e30>\\sublinha\{	{
		 	 printf("<enfaseum estilo=\"sublinha\">");
		 	 push_to_stack(e37);}

<e36>\\sublinha\{	{
		 	 printf("<enfasezero estilo=\"sublinha\">");
		 	 push_to_stack(e38);}

<e37>\\realce\{	{
		 printf("<enfasezero estilo=\"realce\">");
		 push_to_stack(e39);}

<e31>\\realce\{	{
		 printf("<enfaseum estilo=\"realce\">");
		 push_to_stack(e40);}

<e31>\\italico\{	{
		 	 printf("<enfaseum estilo=\"italico\">");
		 	 push_to_stack(e41);}

<e40>\\italico\{	{
		 	 printf("<enfasezero estilo=\"italico\">");
		 	 push_to_stack(e42);}

<e41>\\realce\{	{
		 printf("<enfasezero estilo=\"realce\">");
		 push_to_stack(e43);}

<e43>\}	{
	 printf("</enfasezero>");
	 pop_back;}

<e42>\}	{
	 printf("</enfasezero>");
	 pop_back;}

<e41>\}	{
	 printf("</enfaseum>");
	 pop_back;}

<e40>\}	{
	 printf("</enfaseum>");
	 pop_back;}

<e39>\}	{
	 printf("</enfasezero>");
	 pop_back;}

<e38>\}	{
	 printf("</enfasezero>");
	 pop_back;}

<e37>\}	{
	 printf("</enfaseum>");
	 pop_back;}

<e36>\}	{
	 printf("</enfaseum>");
	 pop_back;}

<e35>\}	{
	 printf("</enfasezero>");
	 pop_back;}

<e34>\}	{
	 printf("</enfasezero>");
	 pop_back;}

<e33>\}	{
	 printf("</enfaseum>");
	 pop_back;}

<e32>\}	{
	 printf("</enfaseum>");
	 pop_back;}

<e31>\}	{
	 printf("</enfasedois>");
	 pop_back;}

<e30>\}	{
	 printf("</enfasedois>");
	 pop_back;}

<e29>\}	{
	 printf("</enfasedois>");
	 pop_back;}
	
<e28>((\})|(\\end\{center\}))	{
	 printf("</alin>");
	 pop_back;}

<e27>\}	{
	 printf("</enfasezero>");
	 pop_back;}

<e26>\}	{
	 printf("</enfasezero>");
	 pop_back;}

<e25>\}	{
	 printf("</enfaseum>");
	 pop_back;}

<e24>\}	{
	 printf("</enfaseum>");
	 pop_back;}

<e23>((\})|(\\end\{center\}))	{
	 printf("</alin>");
	 pop_back;}

<e22>\}	{
	 printf("</enfasezero>");
	 pop_back;}

<e21>((\})|(\\end\{center\}))	{
	 printf("</alin>");
	 pop_back;}

<e20>((\})|(\\end\{center\}))	{
	 printf("</alin>");
	 pop_back;}

<e19>\}	{
	 printf("</enfasezero>");
	 pop_back;}

<e18>\}	{
	 printf("</enfaseum>");
	 pop_back;}


<e16>((\})|(\\end\{center\}))	{
	 printf("</alin>");
	 pop_back;}

<e15>((\})|(\\end\{center\}))	{
	 printf("</alin>");
	 pop_back;}

<e14>\}	{
	 printf("</enfasezero>");
	 pop_back;}

<e13>\}	{
	 printf("</enfaseum>");
	 pop_back;}

<e12>\}	{
	 printf("</enfasedois>");
	 pop_back;}

<e11>((\})|(\\end\{center\}))	{
	 			 printf("\n</alin>");
	 			 pop_back;}


<e10>\}	{
	 printf("\n</enfasezero>");
	 pop_back;}

<e9>\}	{
	 printf("\n</enfasezero>");
	 pop_back;}

<e8>\}	{
	 printf("\n</enfasezero>");
	 pop_back;}

<e7>\}	{
	 printf("\n</enfaseum>");
	 pop_back;}

<e6>((\})|(\\end\{center\}))	{
	 printf("\n</alin>");
	 pop_back;}

<e5>\}	{printf("\n</enfasezero>");
	 pop_back;}

<e4>\}	{printf("\n</enfaseum>");
	 pop_back;}

<e3>\}	{printf("\n</enfaseum>");
	 pop_back;}

<e2>\}	{printf("\n</enfasedois>");
	 pop_back;}

%%



/*<e1>\\italico\{	{printf("\n\n<enfasedois estilo=\"italico\">");
		 push_to_stack(e52);}

<e52>\\realce\{	{printf("\n\n<enfaseum estilo=\"realce\">");
		 push_to_stack(e53);}

<e53>\}	{printf("</enfaseum>\n\n");
	 pop_back;}

<e52>\}	{printf("</enfasedois>\n\n");
	 pop_back;}

*/