Hiroki Shibata 0001 Masakazu Ishihata Shunsuke Inenaga Packed Acyclic Deterministic Finite Automata. 284-297 2025 SOFSEM (2) https://doi.org/10.1007/978-3-031-82697-9_21 conf/sofsem/2025-2 db/conf/sofsem/sofsem2025-2.html#ShibataII25 streams/conf/sofsem