Text this: Fuzzy pushdown automata based on complete residuated lattices