Turing machine continuity w/ other definitions
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 2/5
- Tiempo estimado
- 1-3 horas
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Documentación
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Stack tecnológico
- tex
- Área
- documentation
Línea de trabajo
Comienza con el capítulo sobre computación de Open Logic y compara su definición de máquina de Turing como una 4-tupla con la convención de 7-tupla descrita en el issue. Documenta la razón de la diferencia o revisa la definición para que la explicación y la terminología del capítulo sean coherentes.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Hi all! Sipser (and other TOC sources) use a 7-tuple definition of a turing machine:
- Start State
- Reject State
- Accept state
- Transition function
- Tape Alphabet
- Input alphabet
- Set of states
The open logic chapter on computation, in contrast, uses a 4-tuple definition. Is there a reason for this (maybe a difference in philosophy/computer science's respective disciplinary norms?) or should I (or someone else) rewrite the definition using the more conventional 7-tuple?
- Lenguaje dominante
- TeX
- Estrellas
- 1.4k
- Forks
- 292
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de OpenLogicProject/OpenLogic
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
OpenLogicProject/OpenLogic#437 ·
-
Russel's Paradox typoAbierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 65/100
OpenLogicProject/OpenLogic#339 · 1 comentario ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 50/100
OpenLogicProject/OpenLogic#436 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
OpenLogicProject/OpenLogic#435 · 1 comentario ·
-
Order-type of models of PAAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
OpenLogicProject/OpenLogic#425 · 1 comentario ·
Todos los issues de OpenLogicProject/OpenLogic
Issues similares
-
Step-by-step Ash GuideAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
liveshowy/webauthn_components#118 ·
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 75/100
ComposioHQ/awesome-claude-skills#2432 ·
Los mantenedores suelen responder en 15 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 79/100
ccch1mneyyy/dsh-Go#731 ·
Los mantenedores suelen responder en 1 día
-
area/docs good first issue help wanted kind/docs priority/p2 triage/accepted
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 64/100
streamlink/streamlink#7192 · 4 comentarios ·
Los mantenedores suelen responder en 1 día