Talk:List of formal language and literal string topics