PowerPoint Presentation

Automata Finito No Determinista (AFND)- Gilbert De La Cruz 120846- Dionis Garcia120836Los autmatas nitos no Determinsticos (AFND) aceptan exactamente los mismos lenguajes que los autmatas determinsticos. Sin embargo, sern importantes para demostrar teoremas y por su ms alto poder expresivo.Un autmata finito no deterministico (AFND) es una quntupla M = (Q, V,, q0, F) donde todos los componentes son como en los AFDs, excepto la funcin de transicin que se define ahora como:

:QV P(Q)donde P(Q) denota el conjunto de las partes de Q (o conjunto potencia 2Q).

Los Autmatas Finitos No Deterministas, tambin llamadosAFN, se caracterizan porque, a diferencia de losAFD, en un estado puede haber ms de una transicin posible para un mismo smbolo de entrada (alfabeto).

LosAFNDtambin se representan mediante tablas o diagramas de transicin

Diagramas de Transicin:Los diagramas de transicin de los AFND son totalmente anlogos a los de los autmatas determinsticos. Solo que ahora no tiene que salir de cada vrtice un y solo un arco para cada smbolo del alfabeto de entrada. En un autmata no determinstico, de un vrtice pueden salir una, ninguna o varias echas con la misma etiqueta

Este es un autmata no-determinstico ya que hay transiciones no definidasReconocimiento de PatronesSupongamos un ejemplo de tranmisin de datos entre barcos. El receptor de un barco debe de estar siempre esperando la trasmisin de datos que puede llegar en cualquier momento. Cuando no hay trasmisin de datos hay un rudo de fondo (sucesin aleatoria de 0, 1).

Para comenzar la trasmisin se manda una cadena de aviso, por ejemplo. 010010. Si sa cadena se reconoce hay que registrar los datos que siguen. El programa que econoce esta cadena puede estar basado en un autmata finito. La idea es que Este no pueda llegar a un estado no final mientras no se reciba la cadena inicial.

En ese momento el autmata pasa a un estado final. A partir de ah todo lo que llegue se registra. el propsito es hacer un autmata que llegue a un estado final tan pronto como se reconozca 010010. Intentar hacer un autmata finito determinstico directamente puede ser complicado, pero es muy fcil el hacer un AFND, como el de la Figura 10.Hay que sealar que esto sera solamente el esquema de una sola parte de la trasmisin. Se podra complicar incluyendo tambin una cadena para el n de la trasmisin.

Usando los automatas No-Deterministicos se puede simplificar el ejercicio anterior y representar con ms claridad la estructura de la expresin regular (11 + 110)*0 se presentan las 2 figuras para verificar la similitud.

Concucion:

Los Autmatas Finitos No Deterministas son modelos matemticos que permiten representar situaciones complejas de una manera ms directa, pero a la vez ms difcil de predecir, debido a que pueden estar en varios estados de manera simultaneaBibliografia:

http://inacapgrupo2tema3.blogspot.com/

http://datateca.unad.edu.co/contenidos/301405/EXEMODULO20131/exe%20modulo%20301405/leccin_8__autmatas_finitos_no_determinsticos_afnd.html