Logo bs.boatexistence.com

Kada se za problem p kaže da je poluodlučiv?

Sadržaj:

Kada se za problem p kaže da je poluodlučiv?
Kada se za problem p kaže da je poluodlučiv?

Video: Kada se za problem p kaže da je poluodlučiv?

Video: Kada se za problem p kaže da je poluodlučiv?
Video: DADO POLUMENTA - PROBLEM (OFFICIAL VIDEO) 2024, Maj
Anonim

– Za problem odlučivanja P se kaže da je poluodlučiv (tj. ima polu-algoritam) ako je jezik L svih da instanci za P r.e. – (Problem ekvivalencije za DFA) S obzirom na dva DFA, prihvataju li isti jezik? Dokaz: Prisjetite se Cantorovog argumenta iz Prvog predavanja.

Kada se za problem kaže da je poluodlučiv?

Poluodlučivi problemi su oni za koje Tjuringova mašina zaustavlja na ulazu koji je prihvatila, ali može ili zaustaviti ili zauvek petljati na ulazu koji je odbio Turingova mašina. Takvi problemi se nazivaju Turingovim prepoznatljivim problemima.

Šta je djelimično rješiv problem?

Definicija: Jedan čiji je pridruženi jezik rekurzivno nabrojiv jezik. Ekvivalentno, postoji algoritam koji zaustavlja i daje 1 za svaku instancu koja ima odgovor "da", ali za instance koje imaju odgovor "ne" je dozvoljeno ili da se ne zaustavi ili da se zaustavi i ispiše 0.

Da li se problem zaustavljanja djelimično može riješiti?

Alan Turing je 1936. dokazao da opći algoritam koji radi na Turing mašini koji rješava problem zaustavljanja za sve moguće parove program-ulaz nužno ne može postojati. Dakle, problem zaustavljanja je neodlučiv za Turingove mašine.

Zašto je problem zaustavljanja polu-odlučiv?

Za jezik se kaže da je poluodlučiv ako postoji Turingova mašina koja zaustavlja ako riječ pripada jeziku (DA slučajevi) i može odbaciti ili otići u beskonačno petlja ako riječ ne pripada jeziku (NEMA velikih i malih slova).

Preporučuje se: