Estrategias de Busqueda

Tipos de búsqueda según estrategias de control:

  • ALGORITMO.-Disponemos de información segura sobre qué operación aplicar
  • BUSQUEDA EXHAUSTIVA (A CIEGAS).- Exploración del árbol de búsqueda sistemáticamente pero sin información
  • BUSQUEDA HEURÍSTICA (INFORMADA).- información sobre el problema (información del dominio) que permite reducir la búsqueda.

Estrategias de búsqueda a ciegas

  • Generar y Probar
  • Búsqueda primero a lo ancho
  • Búsqueda primero a lo profundo
  • Búsqueda de costo uniforme
  • Búsqueda en profundidad limitada
  • Búsqueda en profundidad iterativa
  • Búsqueda bidireccional

Comenzemos con el primer tipo de búsqueda:
GENERATE-AND-TEST

  • Generar una posible solución. (estado o camino)
  • Comprobar para ver si es una solución, mediante comparación con los elementos del conjunto de objetivos aceptables.
  • Si la solución ha sido encontrada salir, de otra manera, retornar al paso 1

Para muestra esta imagen

Maquina de Turing Funcionamiento

Maquina de TuringDescripcion de la maquina de Turing.

La idea de la maquina funcion con un Cabeza de Lectura y Escritura que lee una cinta infinita.

Cada vez que lee, borrar el contenido anterior, escribe un nuevo contenido, para luego Avanzar un lugar hacia la izquierda o Derecha.

Con esta maquina se puede realizar cualquier computo de las maquinas computadoras actuales

La maquina de Turing puede considerarse un automata capaz de leer lenguajes formales (es un conjunto de palabras (Palabras son cadenas de caracteres) de longitud finita que se forman a partir de un alfabeto (_Conjunto de caracteres) finito.

Definicion de una maquina de Turing de una sola cinta :una 6- tuplaM=(Q, \Gamma, s, b, F, \delta)\,,

  • Q \, es un conjunto finito de estados.
  • \Gamma \, El alafabeto de la cinta, un conjunto finito de símbolos de cinta
  • s \in Q Estado Incial.
  • b \in \Gamma Ssímbolo denominado blanco.
  • F \subseteq Q es el conjunto de estados finales de aceptación.
  • \delta: Q \times \Gamma \rightarrow Q \times \Gamma \times \{L,R\}\, función de transición, donde L es un movimiento a la izquierda y R es el movimiento a la derecha.

Maquinas de Turing

La maquina de Turing es una idea que intrujo el cientifico Alan Turing para determinar si hay un metodo aplicado a lo matematico que nos diga si una sentencia es verdadera o no.

Alan Turing construyo “la maquina de Turing” , un modelo de matematica que es abstracto y concluyo que hay problemas que la maquina no puede resolver