下推格值自动机词的计算

• Computing with words of pushdown lattice-valued automata