lambdaclass / lambdaclass/lambda_compiler_kit
nit: add typical NFA size examples to Complexity.lean module docstring
Personne n'a encore pris cette issue.
- Langage dominant
- Lean
- Étoiles
- 2
- Forks
- 1
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
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
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Ouvrez Lck/Regex/Complexity.lean et lisez la docstring du module ainsi que ses bornes sur la taille de la NFA. Ajoutez un tableau court ou quelques exemples concrets pour des motifs tels que a* et (a|b)+ ; la docstring est terminée lorsqu’elle explique les nombres typiques de positions de la NFA en pratique.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Domaine
- compilers, documentation
- Type d'issue
- Documentation
- Difficulté
- 1/5
- Temps estimé
- Moins d'une heure
- Activité
- À l'abandon
- Clarté
- Clairement spécifiée
- Accessibilité débutants
- 55/100