Markup languages are systems for annotating a document in a way that is syntactically distinguishable from the text, allowing for the separation of content and presentation. They are crucial for structuring information on the web, with HTML and XML being the most widely used examples for web development and data interchange respectively.