TY  - RPRT
TI  - Decidability and Shortest Strings in Formal Languages
AU  - Levent Alpoge
AU  - Thomas Ang
AU  - Luke Schaeffer
AU  - Jeffrey Shallit
PY  - 2011
UR  - https://arxiv.org/abs/1103.1622
ID  - 1103.1622
ER  -