From Language Specifications to Executable Turing Machines was accepted to Findings of the ACL: EMNLP 2026.