Исправления главы о MCFG
Dieses Issue hat noch niemand übernommen.
Bewertung
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Anfängerfreundlichkeit
- 45/100
- Issue-Typ
- Dokumentation
- Klarheit
- Größtenteils klar
- Aktivitätsstatus
- Veraltet
- Tech-Stack
- tex
- Bereich
- compilers, documentation
Rechercherichtung
Finde das MCFG-Kapitel im TeX-Quelltext und lies seine aktuelle Definition sowie die Diskussion zur Normalform. Prüfe die relevanten Referenzen zur formalen Sprache oder das umgebende Vorlesungsmaterial und erledige anschließend beide Checklistenpunkte, indem du die Definitionen korrekt und konsistent mit dem Kapitel formulierst.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
- Определить MCFG
- Исправить определение нормальной формы MCFG
- Vorherrschende Sprache
- TeX
- Sterne
- 7
- Forks
- 12
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Entwicklungsumgebung
Dieses Projekt bietet weder Dev-Container noch Dockerfile noch Beitragsleitfaden – die Einrichtung liegt bei Ihnen. Beginnen Sie mit der README; die allgemeinen Schritte stehen in unserem Leitfaden für den ersten Beitrag.
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 45/100
FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#45 ·
-
Определение кольцаOffen
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#42 · 2 Kommentare ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#35 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#34 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#33 ·
Ähnliche Issues
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100
Maintainer antworten meist innerhalb von 1 Tag
-
erdos-status-sync
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 65/100
google-deepmind/formal-conjectures#6920 ·
Maintainer antworten meist innerhalb von 1 Tag
-
area-web-js web-libraries
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 85/100
Maintainer antworten meist innerhalb von 4 Tagen
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 82/100
objectionary/eo#9317 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 74/100
rubys/roundhouse#571 ·
Maintainer antworten meist innerhalb von 1 Tag