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.
翻译:由于缺乏工具支持,Pumping lemma一直是学生在计算机科学理论课程中难以理解的一个非常困难的话题。 在本文中,我们提出了一个名为 MInimim Pumping 长度(MIIPI) 的积极学习工具,用于探索普通语言的抽取 emma 属性。 对于一种特定的普通语言,MIIP提供三大功能:确定输入字符串的成员,生成属于该语言的短字符串清单,自动计算语言的最小抽取长度。软件工具的开发是为了向学生提供教育援助,以便他们更好地了解抽取 lemma 和 最小抽取长度的概念,并通过手动练习促进积极学习。</s>