Krohn-Rhodes Decomposition — Glossary — ThinkLLM