Pumping lemma has been a very difficult topic for students to understand in a theoretical computer science course due to a lack of tool support. In this paper, we present an active learning tool called MInimum PUmping length (MIPU) educational software to explore the pumping lemma property for regular languages. For a given regular language, MIPU offers three major functionalities: determining the membership of an input string, generating a list of short strings that belong to the language, and automatically calculating the minimal pumping length of the language. The software tool has been developed to provide educational assistance to students to better understand the concepts of pumping lemma and minimum pumping length, and promote active learning through hand-on practice.

翻译：泵引理一直是理论计算机科学课程中学生难以理解的内容，其原因在于缺乏有效的工具支持。本文介绍了一种名为MIPU（最小泵长度）的主动学习型教育软件，用于探索正则语言的泵引理特性。对于给定的正则语言，MIPU提供三项核心功能：判断输入字符串是否属于该语言、生成属于该语言的短字符串列表、以及自动计算该语言的最小泵长度。该软件旨在为学生提供教学辅助，帮助他们更深入理解泵引理与最小泵长度的概念，并通过实践操作促进主动学习。