I'm attempting to learn about the concept of formal languages. From what I can tell, they have something to do with computers. I'm kind of unclear on their relationship with and to programming languages and markup languages.