@misc{indiciae30ec7a393b27, title = {An introduction to finite automata and their connection to logic}, author = {Howard Straubing and Pascal Weil}, year = {2011}, url = {https://arxiv.org/abs/1011.6491}, note = {Source identifier: 1011.6491} }