- Structure Union-Find
- Langages et automates
| - L'union par rang, seule, garantit une complexité logarithmique pour les opérations unir et trouver
- Preuve par induction structurelle que delta*(q, uv) = delta*(delta*(q, u), v)
- L* = Union L^i est le plus petit langage stable par concaténation contenant L et le mot vide
|