lambdaclass / lambdaclass/lambda_compiler_kit
nit: add typical NFA size examples to Complexity.lean module docstring
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Lean
- Sterne
- 2
- Forks
- 1
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
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
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
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.
Bewertung
- Bereich
- compilers, documentation
- Issue-Typ
- Dokumentation
- Schwierigkeit
- 1/5
- Geschätzter Aufwand
- Unter einer Stunde
- Aktivitätsstatus
- Veraltet
- Klarheit
- Klar beschrieben
- Anfängerfreundlichkeit
- 55/100