通信协议转换器及其构造

通信协议转换器可以看作是两个协议的信息之间的映射．这个映射可以用一个重要信息对偶集合Ｋ来刻划．本文给出相对于Ｋ的协议转换器的形式定义．然后，我们提出用两个有限状态自动机的对偶积来构造协议转换器的方法，并论证了方法的正确性