\documentclass[12pt, a4paper]{report}
 
\newcounter{conta}
\begin{document}

\pagestyle{empty}

\noindent Bacharelado em Ci\^{e}ncia da Computa\c{c}\~{a}o
\hfill DCC/ICEx/UFMG \\
{\em Fundamentos da Teoria da Computa\c{c}\~ao} \hfill
$\mbox{1}^{\mbox{\underline{o}}}$ semestre de 2001 \\
Prof.: Newton Jos\'{e} Vieira \hfill Sala 4023/ICEx; e-mail: nvieira@dcc.ufmg.br
 
\noindent {\bf Segundo Trabalho Pr\'atico}

\noindent {\bf Data de Entrega: 05/06/01}.

\noindent \underline{\bf Este trabalho pode ser feito em grupos de duas pessoas}.

\vspace*{5mm}
Este trabalho \'e opcional, especialmente dirigido para aqueles que te\-nham interesse em
ganhar pontos extra a fim de melhorar a nota da segunda avalia\c c\~ao (prova $+$ lista).
A nota m\'axima \'e o m\'{\i}nimo entre os valores $3$ e $25-n$, onde $n$
\'e a nota da segunda prova somada com a nota da segunda lista de exerc\'{\i}cios.

\vspace*{5mm}
Escreva um programa na linguagem de sua prefer\^encia que, recebendo como entrada um
AFN$\lambda$ $M$ e uma palavra $w$, determine se $M$ reconhece $w$.

O programa dever\'a ser {\em interativo\/}, com o usu\'ario podendo fornecer uma nova
palavra de entrada quando bem entender (n\~ao h\'a necessidade de
prever a entrada de mais de um AFN$\lambda$).

Para simplificar o programa, voc\^e pode impor restri\c c\~oes, como, por e\-xem\-plo,
exigir que os estados sejam n\'umeros a partir de 0, at\'e uma constante definida no
in\'{\i}cio do programa, exigir que cada s\'{\i}mbolo do alfabeto seja constitu\'{\i}do
de apenas um car\'ater, etc.

Dever\~ao ser entregues a listagem do programa (que deve ser auto-do\-cu\-men\-ta\-do) e um
conjunto de instru\c c\~oes de uso. Al\'em disso, dever\'a ser feita uma demonstra\c c\~ao
de uso do programa. Em tal demonstra\c c\~ao, o professor ir\'a testar o funcionamento
do programa usando exemplos de sua pr\'opria escolha.

Sugiro (n\~ao exijo) que sejam implementados algoritmos para transformar AFN$\lambda$ em AFN
e AFN em AFD.


\end{document}
 

