可逆线性有限自动机

本文研究线性有限自动机的可逆性问题。首先证明任何延迟τ步可逆线性有限自功机都存在线性有限存贮自动机为逆,接着讨论这类逆自动机的构造问题,给出了综合方法,并给出了以它为逆的线性有限自动机的综合方法。