nit: add typical NFA size examples to Complexity.lean module docstring
Dieses Issue hat noch niemand übernommen.
Bewertung
- Schwierigkeit
- 1/5
- Geschätzter Aufwand
- Unter einer Stunde
- Anfängerfreundlichkeit
- 55/100
- Issue-Typ
- Dokumentation
- Klarheit
- Klar beschrieben
- Aktivitätsstatus
- Veraltet
- Bereich
- compilers, documentation
Rechercherichtung
Öffne Lck/Regex/Complexity.lean und lies den Modul-Docstring zusammen mit seinen Schranken für die NFA-Größe. Füge eine kurze Tabelle oder einige konkrete Beispiele für Muster wie a* und (a|b)+ hinzu; der Docstring ist fertig, wenn er typische NFA-Positionsanzahlen in der Praxis erklärt.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
Problem
Lck/Regex/Complexity.lean proves bounds on NFA size relative to AST size but its module docstring does not give concrete examples of what these bounds mean in practice (e.g., typical sizes for a*, (a|b)+, etc.).
Expected fix
Add a short table or a few examples to the module docstring illustrating typical NFA position counts for common patterns.
References
- Suggested by AI code review on PR #9
- Vorherrschende Sprache
- Lean
- Sterne
- 2
- Forks
- 1
- 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 lambdaclass/lambda_compiler_kit
-
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 72/100
-
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 68/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100
-
Enable --wfail axiom-guard gate once warnings are cleanEvtl. vergeben Ein verknüpfter Pull Request ist offen oder bereits gemergt. Offenenhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 50/100
Alle Issues in lambdaclass/lambda_compiler_kit
Ähnliche Issues
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 66/100
Maintainer antworten meist innerhalb von 5 Tagen
-
bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 66/100
partiql/partiql-lang-kotlin#1972 ·
-
area:backend bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 62/100
Chelis-Lang/chelis#3500 ·
Maintainer antworten meist innerhalb von 1 Tag
-
IO.get_env on Node truncates names at embedded NULEvtl. vergeben @Yi-111-a hat das heute übernommen. Offen
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 82/100
HigherOrderCO/Bend#1449 · 1 Kommentar ·
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 74/100
Maintainer antworten meist innerhalb von 1 Tag