{"id":18799320,"url":"https://github.com/alkesst/universalwhileprogram","last_synced_at":"2026-01-02T17:30:13.666Z","repository":{"id":81784855,"uuid":"118264137","full_name":"Alkesst/UniversalWhileProgram","owner":"Alkesst","description":"Universality implementation","archived":false,"fork":false,"pushed_at":"2018-01-21T20:25:58.000Z","size":7,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2024-12-29T18:33:41.255Z","etag":null,"topics":["computer-science","haskell","universality","while-language"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Alkesst.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-01-20T17:18:26.000Z","updated_at":"2018-04-11T09:32:49.000Z","dependencies_parsed_at":"2023-10-31T13:36:39.362Z","dependency_job_id":null,"html_url":"https://github.com/Alkesst/UniversalWhileProgram","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alkesst%2FUniversalWhileProgram","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alkesst%2FUniversalWhileProgram/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alkesst%2FUniversalWhileProgram/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alkesst%2FUniversalWhileProgram/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Alkesst","download_url":"https://codeload.github.com/Alkesst/UniversalWhileProgram/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":239727395,"owners_count":19687166,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["computer-science","haskell","universality","while-language"],"created_at":"2024-11-07T22:14:49.322Z","updated_at":"2026-01-02T17:30:13.630Z","avatar_url":"https://github.com/Alkesst.png","language":"Haskell","readme":"# Programa While Universal\nImplementación en Haskell del programa While universal\n\n## ¿Qué es el programa universal?\nEl programa universal es un programa While capaz de simular\nel comportamiento de otros programas While. En teoría de la\ncomputación, existe también la Máquina de Turing universal, cuya\nidea es la misma que el programa While universal, una máquina de\nturing capaz de simular el comportamiento de otras máquinas de\nturing con una entrada en concreto.\n\n### ¿Cómo funciona?\nUsando la Codificación de Cantor [Cantor Pairing][1] y la\nCodificación de Gödel para \"traducir\" los programas while a\n1 único número natural.\n\n### ¿Porqué Haskell?\nUso haskell por el simple hecho de que en cualquier otro lenguaje de programación no tengo la opción de poder generar números \"infinitos\". Recordemos que la Codificación De Gödel consiste en asignarle a un vector de entrada de tamaño indefinido un único número natural, entonces, la lista puede ser \"infinita\" con números \"infinitos\". Haskell me proporciona esta facilidad con el tipo Integer.\n\n#### TODO\nTraducir el readme al inglés. Realizar el programa universal por completo.\n\n\n\n[1]: https://en.wikipedia.org/wiki/Pairing_function\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Falkesst%2Funiversalwhileprogram","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Falkesst%2Funiversalwhileprogram","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Falkesst%2Funiversalwhileprogram/lists"}