Per il example, la lingua delle macchine di Turing che non accettano la propria codifica non può essere accettata da alcuna macchina di Turing.Quali sono tutte le lingue conosciute che le macchine di Turing non possono accettare?
risposta
Ci sono infiniti linguaggi che nessuna TM può decidere. Infatti, "la maggior parte" delle lingue è indecidibile; esistono numerabilmente molte lingue decidibili, ma innumerevoli sono le lingue (quindi, innumerevoli e indecidibili).
Il teorema di Rice consente di ottenere molti esempi di lingue che sono indecidibili. Vedi la pagina di Wikipedia: Rice's Theorem
In sostanza, se si dispone di un insieme di lingue non banali (ovvero, esistono TM che riconoscono le lingue nell'insieme e le TM che riconoscono le lingue non nell'insieme), quindi è indecidibile se un linguaggio di una TM arbitraria è in S. Ad esempio, sia S l'insieme formato dalla lingua vuota. Quindi è indecidibile determinare se una TM arbitraria accetta la lingua vuota, cioè senza stringhe. Crea una serie di lingue non banali e hai un nuovo linguaggio indecidibile (tutte le codifiche delle TM che riconoscono le lingue nel set).
- 1. Tutte le lingue dinamiche sono tipografiche?
- 2. Quali sono le sei primitive di base in Turing Complete
- 3. Quali sono i limiti utili degli automi legati lineari rispetto alle macchine di Turing?
- 4. Accettare Elenco lingue
- 5. Quali sono le 5 lingue principali per localizzare un'app?
- 6. Quali sono le nuove lingue per Android N?
- 7. In che modo la Gerarchia di Chomsky e le macchine di Turing influenzano il design del linguaggio?
- 8. Ordinamento di file all'interno di un pacchetto - Quali sono le librerie conosciute?
- 9. Quali sono tutte le modalità di recupero per PDO?
- 10. Quali sono tutte le restrizioni di sviluppo Apple per iPhone
- 11. Mysql colation per tutte le lingue
- 12. Quali sono tutte le convenzioni di denominazione monade?
- 13. NSLocale - ottieni tutte le lingue disponibili
- 14. Quali lingue possono essere compilate in javascript?
- 15. espressioni regolari - uguale per tutte le lingue?
- 16. Quanto sono stabili le macchine ec2?
- 17. Quanto sono trasferibili le abilità di programmazione tra le lingue?
- 18. Quali elementi DOM non possono accettare un ID?
- 19. Quali sono le fortune?
- 20. Quali sono tutte le forme speciali del clojure?
- 21. Quali sono le librerie che collegano le opzioni in Xcode?
- 22. Haskell Parsec salta tutte le parole che non sono predefinite
- 23. Quali sono tutte le "convenzioni" per Ruby on Rails?
- 24. Quali sono tutte le chiavi possibili per database.yml
- 25. MSBuildWorkspace.Create() - Le lingue supportate sono zero
- 26. Le espressioni regolari possono funzionare con lingue diverse?
- 27. Quali sono le radici di GC per le classi?
- 28. Quali sono le specifiche per Motion JPEG?
- 29. Le macchine virtuali
- 30. Trasmettere un messaggio a tutte le macchine disponibili su WiFi