A eldönthetetlen nyelvek be vannak zárva az unióba?
Pontszám: 4,1/5 ( 16 szavazat )6. Tétel: A Turing által eldönthető nyelvek halmaza unió, metszéspont és komplementer alatt zárt . 7. Tétel: Mind a Turing-felismerhető, mind a Turing által eldönthető nyelv zárt összefűzés és csillag (HW) alatt.
Melyek alá tartoznak az eldönthetetlen nyelvek?
- Az eldönthető nyelvek a kiegészítés alatt zárva vannak. Ahhoz, hogy egy gépet L nyelv kiegészítésére tervezzünk, szimulálhatjuk a gépet L nyelvre egy bemeneten. Ha elfogadja, akkor fogadja el és fordítva.
Két eldönthetetlen nyelv egyesülése eldönthetetlen?
Ha L két eldönthetetlen nyelv uniója, akkor L eldönthetetlen . L-t néhány állapotú NFA akkor és csak akkor fogadja el, ha L-t néhány állapotú DFA elfogadja. Ha L ∈ P, akkor L nem szabályos. L akkor és csak akkor eldönthető, ha L komplementere eldönthetetlen.
Milyen műveletek alatt záródnak le a felismerhető nyelvek?
A Turing által felismerhető nyelvek az egyesülés és a metszés alatt zárva vannak. Magyarázat: Egy nyelv felismerője olyan gép, amely felismeri az adott nyelvet. Egy nyelv döntõje egy gép, amely eldönti az adott nyelvet.
A rekurzívan felsorolható nyelvek be vannak zárva az unióba?
A rekurzívan felsorolható nyelvek szintén zárva vannak a metszéspont , az összefűzés és a Kleene csillag alatt. Tegyük fel, hogy M1 és M2 elfogadja a rekurzívan felsorolható L1 és L2 nyelveket. ... Ha w a metszéspontban van, akkor végül mindkét gép elfogadja, tehát elfogadjuk a bemenetet.
Elhatározható nyelvek zárási tulajdonságai
A rekurzív nyelv típusa 0?
A rekurzív nyelvek a következők: A kontextusmentes nyelvek megfelelő szuperkészlete . Lenyomó automaták mindig felismerik. Más néven 0 típusú nyelvek.
Mi van a TOC-ban?
Egy RE nyelvet a Turing-gép képes elfogadni vagy felismerni, ami azt jelenti, hogy a nyelvi karakterláncok számára végleges állapotba kerül, és előfordulhat, hogy elutasító állapotba kerül az olyan karakterláncok esetében, amelyek nem részei a nyelvnek. ... A RE nyelveket Turing által felismerhető nyelveknek is nevezik .
P zárva van a szakszervezet alatt?
P zárva van az unió alatt . Bármely két P-nyelv L1 és L2 esetén legyen M1 és M2 a TM-ek, amelyek polinomiális időben döntik el őket. ... Ezért M' dönti el L1 és L2 egyesülését. Mivel mindkét szakasz polinomiális időt vesz igénybe, az algoritmus polinomiális időben fut.
A Sigma * eldönthető?
De a Sigma * egy szabályos, eldönthető és kontextusmentes nyelv .
Re zárva van a kiegészítés alatt?
A rekurzív felsorolható nyelvek nincsenek lezárva a kiegészítés alatt . Ez azt jelenti, hogy Y′ lehet/nem lehet rekurzív felsorolható.
Az eldönthetetlen nyelv kiegészítése eldönthetetlen?
Mutassuk meg, hogy ha egy L nyelv komplementere eldönthetetlen, akkor L maga is eldönthetetlen . Mutassuk meg, hogy a leállítási probléma rekurzívan felsorolható, de nem rekurzív. Mutassuk meg, hogy eldönthetetlen, hogy a TM által elfogadott nyelv végtelen-e.
Az eldönthető nyelvek be vannak zárva a beállított különbség alatt?
részben eldönthető) nyelvek szimmetrikus különbség alá zárva . Az A és B halmazok szimmetrikus különbsége az (A \ B) ∪ (B \ A) halmaz. Tudom, hogy az eldönthető nyelvek osztálya zárt a szimmetrikus különbség alatt, mert zárt az egyesülés, komplementer és metszéspont alatt.
Az ATM felismerhető?
Mivel tudjuk, hogy az ATM felismerhető , a tételünk azt jelenti, hogy az ATM és az ATM egyaránt eldönthető. De tudjuk, hogy az ATM nem dönthető el. Ez ellentmondás, ezért nem lehet felismerni az ATM-et. A nyelvi ATM és annak eldönthetetlensége (beleértve a bizonyítást).
Amikor azt mondjuk, hogy egy probléma eldönthető?
Egy problémát akkor mondunk eldönthetőnek , ha mindig meg tudunk alkotni egy megfelelő algoritmust, amely helyesen tudja megválaszolni a problémát . Intuitív módon megérthetjük a eldönthető problémákat egy egyszerű példa figyelembevételével. Tegyük fel, hogy megkérnek bennünket, hogy számoljuk ki az összes prímszámot az 1000 és 2000 közötti tartományban.
Mik azok a nem eldönthető nyelvek?
(definíció) Definíció: Olyan nyelvet, amelynek tagságát egy algoritmus nem tudja eldönteni --- ekvivalens módon, nem ismerheti fel egy Turing-gép, amely minden bemenetre megáll . Lásd még: eldönthető nyelv, eldönthetetlen probléma, eldönthető probléma.
Re le van zárva a kereszteződés alatt?
Ettől a dolgok nagyon szépnek és szimmetrikusnak tűnhetnek: a re setek mind az egyesítés, mind a metszéspont alatt zárva vannak . Ez azonban nem így van, ha már végtelen egyesülésekről és kereszteződésekről kezdünk beszélni. Nyilvánvaló, hogy a visszaállítások nem záródnak tetszőleges végtelen uniók/metszéspontok alatt.
Minden DFA eldönthető?
E (dfa) egy eldönthető nyelv . Bizonyíték: A DFA elfogad valamilyen karakterláncot, ha a DFA nyilai mentén haladva eléri az elfogadási állapotot a kezdő állapottól kezdve.
Az LG rendszeres eldönthetetlen?
Az L(G) = minden eldönthetetlensége Ha azt mondjuk, hogy L(G) üres , az egyenlő azzal, hogy D üres, vagy hogy D = Σ*.
Meghatározható-e két eldönthető nyelv metszéspontja?
Ha valamelyik elutasítja w, akkor az egész gép elutasítja. Ha mindkettő elfogadja, a gép leáll és elfogadja. Így két eldönthető nyelv metszéspontja eldönthető .
A P osztály le van zárva a kereszteződés alatt?
Bizonyítsuk be, hogy a P osztály zárt metszéspont, komplementer és összefűzés alatt. Megoldás: ... Mivel L1 ∈ P, akkor létezik egy O(nk1 ) időbonyolultságú TM M1 valamilyen k1 állandóra. Mivel L2 ∈ P, akkor létezik egy O(nk2 ) időbonyolultságú TM M2 valamilyen k2 állandóra.
Az NP P részhalmaza?
P az NP részhalmaza (bármely probléma, amelyet egy determinisztikus gép meg tud oldani polinomiális időben, megoldható egy nem determinisztikus géppel is polinomiális időben). ... Ezért az NP-Complete halmaz egyben az NP-Hard halmaz részhalmaza is.
Egy nyelv komplementere P-ben van?
Minden P nyelvnek megvan a komplementere P-ben is , tehát NP-ben is.
Melyik nyelvet fogadják el a véges automaták?
A reguláris nyelv a következő ekvivalens tulajdonságokat elégíti ki: egy reguláris kifejezés nyelve (a fenti definíció szerint) ez az a nyelv, amelyet egy nemdeterminisztikus véges automata (NFA) fogad el.
Mire használható a lemma pumpálása?
A pumpálási lemmát gyakran használják annak bizonyítására, hogy egy adott nyelv nem szabályos : az ellentmondásos bizonyítás állhat egy (a szükséges hosszúságú) karakterlánc megjelenítéséből a nyelvben, amelyből hiányzik a pumpálási lemmában felvázolt tulajdonság.
Mi a B a reguláris kifejezésben?
A \b metakarakter olyan horgony, mint a caret és a dollárjel . Egy olyan pozícióban egyezik, amelyet „szóhatárnak” neveznek. ... A karakterlánc első karaktere előtt, ha az első karakter szókarakter. A karakterlánc utolsó karaktere után, ha az utolsó karakter szókarakter.