El día 16 de octubre de 2009 14:35, Federico Heinz <[email protected]> escribió: > On 16/10/2009, Daniel Ajoy wrote: >> ¿Porqué "abrir y manejar cuentas de FaceBook" no es una técnica que hace >> posible el manejo de la información personal (chismes y fotos) a través de >> una computadora? > > Porque la técnica que *hace posible* el tratamiento está en el programa. > "Abrir > y manejar cuentas de Facebook" es la técnica de uso del programa, no del > procesamiento automático. Esa técnica de uso es específica del programa, y es > definida por éste: en forma independiente del programa, es completamente > inútil, mientras que la técnica de procesamiento de datos es independiente de > éste, e incluso de la computadora en la que corre --- un algoritmo es > conocimiento útil aún si no tenés máquina. > > Fede > _______________________________________________ > Para ver los mensajes anteriores: > http://news.gmane.org/gmane.linux.edu.gleducar > Para enviar mensajes: [email protected] > Para desuscribirse o cambiar opciones: > http://gleducar.org.ar/cgi-bin/mailman/listinfo/gleducar > Una explicación árida pero necesaria "... Autómatas finitos deterministas
Un AFD o autómata finito determinista es aquel autómata finito cuyo estado de llegada está unívocamente determinado por el estado inicial y el carácter leído por el autómata. Formalmente, un autómata finito determinista (AFD) es similar a un Autómata de estados finitos, representado con una 5-tupla (S,Σ,T,s,A) donde: • Σ es un alfabeto; • S un conjunto de estados; • T es la función de transición: ; • es el estado inicial; • es un conjunto de estados de aceptación o finales. Al contrario de la definición de autómata finito, este es un caso particular donde no se permiten transiciones lambda (vacías), el dominio de la función T es S (con lo cual no se permiten transiciones desde un estado de un mismo símbolo a varios estados). ....... Autómatas finitos no deterministas Un AFND o autómata finito no determinista es aquel que presenta cero, una o más transiciones por el mismo carácter del alfabeto . Un autómata finito no determinista también puede o no tener más de un nodo inicial. Los AFND también se representan formalmente como tuplas de 5 elementos (S,Σ,T,s,A). La única diferencia respecto al AFD es T. AFD: AFND: (partes de S) Debido a que la función de transición lleva a un conjunto de estados, el automáta puede estar en varios estados a la vez (o en ninguno si se trata del conjunto vacío de estados). Autómatas finitos no deterministas con transiciones λ Un AFND-λ o autómata finito no determinista con transiciones λ permite cambiar de estado sin procesar ningún símbolo de entrada. Cuando el autómata llega a un estado, se encuentra en ese estado y en los estados a los que apunte este mediante una transición λ. Un automata es un AFND: (partes de S) AFND-λ: (partes de S) Cuando el símbolo de entrada es la palabra vacía (λ), existe una transición λ entre los estados. AFD, AFND y AFND-λ Para todo AFND-λ existe un AFND equivalente y para todo AFND existe un AFD equivalente. Existen algoritmos para transformar un autómata en otro. Los AFD son los más sencillos de construir, por tanto, puede ser útil diseñar un autómata complejo como AFND-λ o AFND para luego transformarlo en AFD para su implementación. ***** OJO A ESTO **** Los Automatas finitos constituyen un modelo util para muchos tipos importantes de hardware y software. Estos son algunos ejemplos: 1.- Software para el diseño y la verificacion del comportamiento de circuitos digitales. 2.- El analizador lexico de un compilador tipico, esto es la componente del compilador que descompone el texto inicial en unidades logicas tales como identificadores, palabras reservadas y signos de puntuacion. 3.-Software para explorer grandes corpus de texto, como conjuntos de oaguinas web, o para descubrir las apariciones de ciertas palabras, frases u otros patrones. 4.- Software para comprobra la correction de cualquier tipo de sistemas que tengan un numero finito de estados diferentes. La ventaja de tener solo un numero finito de estados es que el sistema se puede implementar con un volumen fijo de recursos. Por ejemplo podria hacerce una implementacion de hardware con un circuito, o mediante un un programa sencilla que decida en function de un Conjunto limitados de datos. En los automata finitos, los estado se representan mediante circulos; en este ejemplo es on y off. Los arcos entre los estados se han etiquetado mediante “entradas”, que representan las influencias externas que afectan el sistema. En este caso los dios arcos se han etiquetado con la entrada pulsar, que representa la accion realizada por un usuario al pulsar el boton. Los arcos nos indicant que, sea cual sea el estado en que se encuentre el sistema, cuando se recibe la entrada pulsar el sistema cambia al otro estado. Uno de los estados del automata se denomina “estado inicial” es qem el que se situa inicialmente el sistema. Es necesario indicar que uno o mas estados son “estados finales” o “estados de aceptacion”. Es conveniente que el sistema llegue a uno de estos estados despues de una secuencia de entradas sucesivas...." Ver tambien : Maquina de Turing http://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing Saludos! _______________________________________________ Para ver los mensajes anteriores: http://news.gmane.org/gmane.linux.edu.gleducar Para enviar mensajes: [email protected] Para desuscribirse o cambiar opciones: http://gleducar.org.ar/cgi-bin/mailman/listinfo/gleducar
