<div dir="ltr"><div><div>Buenas a todos.<br><br></div>Este <b>jueves</b> 9/11 a las<b> 18:15</b> hs en el salón de seminarios del 14 escucharemos a <b>Damián Ferencz</b>. Abajo va el título y el resumen.<br><br></div>Los esperamos!<br><br>==============================<wbr>========================<br><u><i><b>Equivalencia entre Autómatas Finitos y Lenguajes Regulares</b></i></u><br><br>En
 el marco de la Teoría de la Computación, el modelo de los automatas 
finitos constituye uno de los modelos mas básicos, y tiene como 
motivación inicial la de representar matemáticamente a las maquinas de 
estado finito, sistemas lógicos presentes en el diseño interno de muchos
 aparatos eléctricos simples, tales como electrodomésticos, ascensores, 
etc.<br> <br>En una de sus variantes (así como sucede con paradigmas mas
 complejos, como los autómatas con pila y maquinas de Turing), los autómatas finitos pueden presentarse como reconocedores de lenguajes. 
[En esta presentación, el autómata es una caja donde puedo colocar una 
cinta grabada con una palabra, y se enciende una luz verde cuando 
termina de leerla o una luz roja]. Lo que veremos es que la clase de 
lenguajes decidibles por un autómata finito puede caracterizarse de una 
forma muy precisa como los lenguajes de expresiones regulares. Para 
probar esto, nos apoyaremos en dos construcciones sencillas, el autómata
 producto y el autómata finito no determinista.<br><br>Si da el tiempo, 
podríamos charlar sobre los autómatas con pila (stack), y ver como la 
clase de lenguajes reconocibles aumenta considerablemente. De hecho, es 
el primer escalón dentro de la Jerarquía de Chomsky para gramáticas 
formales.<br>==============================<wbr>========================<br> <br></div>