Problems Related to Shortest Strings in Formal Languages