File:Recursive enumeration of all halting Turing machines.gif
Ir a la navegación
Ir a la búsqueda
No disponible a mayor resolución.
Recursive_enumeration_of_all_halting_Turing_machines.gif (683 × 371 píxeles; tamaño de archivo: 16 kB; tipo MIME: image/gif)
Leyendas
Leyendas
Añade una explicación corta acerca de lo que representa este archivo
Resumen
[editar]
| Descripción |
English: Shows an algorithm to enumerate the set of all Turing machines halting on a fixed input x: Simulate all Turing machines (enumerated in green on vertical axis) step by step (horizontal axis), using the shown diagonalization scheduling. If a machine terminates, print its number. This way, the number of each terminating machine is eventually printed. In the example, the algorithm prints 9, 13, 4, 15, 12, 18, 6, 2, 8, 0, ... |
| Fecha | |
| Fuente | Trabajo propio |
| Autor | Jochen Burghardt |
Licencia
[editar]
Yo, el titular de los derechos de autor de esta obra, la publico en los términos de la siguiente licencia:
Este archivo se encuentra bajo la licencia Creative Commons Genérica de Atribución/Compartir-Igual 3.0.
- Eres libre:
- de compartir – de copiar, distribuir y transmitir el trabajo
- de remezclar – de adaptar el trabajo
- Bajo las siguientes condiciones:
- atribución – Debes otorgar el crédito correspondiente, proporcionar un enlace a la licencia e indicar si realizaste algún cambio. Puedes hacerlo de cualquier manera razonable pero no de manera que sugiera que el licenciante te respalda a ti o al uso que hagas del trabajo.
- compartir igual – En caso de mezclar, transformar o modificar este trabajo, deberás distribuir el trabajo resultante bajo la misma licencia o una compatible como el original.
Historial del archivo
Haz clic sobre una fecha y hora para ver el archivo tal como apareció en ese momento.
| Fecha y hora | Miniatura | Dimensiones | Usuario | Comentario | |
|---|---|---|---|---|---|
| actual | 17:43 30 nov 2013 | | 683 × 371 (16 kB) | Jochen Burghardt (discusión | contribs.) | User created page with UploadWizard |
No puedes sobrescribir este archivo.
Usos del archivo
No hay páginas que enlacen a este archivo.
Uso global del archivo
Las wikis siguientes utilizan este archivo:
- Uso en en.wikipedia.org
- Uso en es.wikipedia.org
- Uso en la.wikipedia.org
