TY - RPRT TI - Input-Driven Pushdown Automata with Translucent Input Letters AU - Martin Kutrib AU - Andreas Malcher AU - Matthias Wendlandt PY - 2025 DO - 10.4204/eptcs.422.3 UR - https://arxiv.org/abs/2507.15310 ID - 2507.15310 ER -