Logo ca.boatexistence.com

Quan es diu que un problema p és semidecidible?

Taula de continguts:

Quan es diu que un problema p és semidecidible?
Quan es diu que un problema p és semidecidible?

Vídeo: Quan es diu que un problema p és semidecidible?

Vídeo: Quan es diu que un problema p és semidecidible?
Vídeo: 🧡GINGER TWA 3-in-1! (Cut, Bleach, & Color) | TheRealCorini 2024, Maig
Anonim

– Es diu que un problema de decisió P és semidecidible (és a dir, té un semialgorisme) si el llenguatge L de totes les instàncies sí a P és r.e. – (Problema d'equivalència per a DFA) Tenint en compte dos DFA, accepten el mateix llenguatge? Prova: recordeu l'argument de Cantor de la primera conferència.

Quan es diu que un problema és semidecidible?

Els

Problemes semi-decidibles són els de que una màquina de Turing s'atura a l'entrada acceptada per ella, però pot aturar-se o fer un bucle per sempre a l'entrada que és rebutjada per la màquina de Turing. Aquests problemes s'anomenen problemes reconeixibles de Turing.

Quin és un problema parcialment decidible?

Definició: un la llengua associada és una llengua enumerable recursivament. De manera equivalent, existeix un algorisme que atura i dóna 1 per a cada cas que tingui una resposta "sí", però per als casos que tinguin una resposta "no" es permet no aturar-se o aturar-se i sortir 0.

El problema d'aturar és parcialment decidible?

Alan Turing va demostrar l'any 1936 que un algorisme general que s'executa en una màquina de Turing que resol el problema d'aturada per a tots els parells d'entrada de programa possibles no necessàriament no pot existir. Per tant, el problema d'aturada és indecidible per a les màquines de Turing.

Per què el problema de l'aturada és semidecidible?

Es diu que una llengua és semidecidible si existeix una màquina de Turing que s'atura si una paraula pertany a la llengua (casos SÍ) i pot rebutjar o anar a l'infinit bucle si la paraula no pertany a l'idioma (SENSE cas).

Recomanat: