Computing with words of pushdown lattice-valued automata

• 下推格值自动机词的计算