The Intersection of Algorithms, Automata Theory, and Formal Languages in Computational Theory | IEEE Conference Publication | IEEE Xplore