Introduction.- State Merging Algorithms.- Partition-Based Algorithms.- Substring-Based Algorithms.- Identification Using Mathematical Modeling.- A Decomposition-Based Algorithm.- An Algorithm Based on a Directed Acyclic Word Graph.- Applications of GI Methods in Selected Fields.- A. A Quick Introduction to Python.- B. Python's Tools for Automata, Networks, Genetic Algorithms, and SAT Solving.- C. OML and its Usage in IronPython.- References