本文主要讨论了由l-值自动机(或称为基于量子逻辑的自动机)构造的格的一些性质，研究了初始格l与由l-值自动机构造的格之间的关系，并且进一步讨论了基于量子逻辑的自动机理论的一些拓扑性质。 首先，给出了由l-值自动机构造的格上同态，子格，理想和嵌入映射的定义，并且研究了同态，子格，理想的性质，同时讨论了子格，理想与同态之间的关系，得出了由l-值自动机构造的格的一些性质。 其次，给出了由l-值自动机构造的格上同构的定义，建立了原始格l的同构和由l-值自动机构造的格同构的等价性。同时由格同构来作格的一种分类，进一步得出了原始格l的分类和由l-值自动机构造的格的分类的等价性。 最后，给出了l-值successor算子和source算子的另一种定义，讨论了l-值successor算子，source算子和l-值子自动机之间的关系，得到了l-值successor算子，source算子和l-值子自动机的某种等价性。进一步研究了由l-值successor算子，source算子和l-值子自动机构造拓扑。