Title: Programming-Based Formal Languages and Automata Theory