不完全描述时序机的封闭类和极小化方法

本文证明了所有循环相关的相容组和它的任何一个循环相关的蕴涵相容组具有相同的封闭相关类。同时,提出了一个更重要的封闭类,即所有一级蕴涵相容组构成的封闭类。证明了这个封闭类所包含的相容对就是一切相容对的蕴涵相容对的封闭类。在此基础上,提出了一个有效的极小化方法——建立无多余元素的蕴涵相容对封闭类的极小闭包的方法。此方法较其它方法简单。