Intro
What is this about?
Why do we study (formal) languages in computer science? The main (applied) tasks are recognition and parsing. Parsing is used everywhere. Obviously to parse computer (programming) languages. This includes:
- compilers
- interpreters
- syntax highlighting, pretty-printers
- static analysis tools, like linters and language servers
But also:
- network protocols
- serialization and deserialization
- configuration files
- command-line arguments
- natural language processing
- query languages (search box on the website) ↗
- validation, like email validation
Languages and parsing is studied since 1960-s. There is a lot of information on the subject, but this is still active research area.
Motivation
I want to collect articles, definitions and some interactive examples. And make it consistent! Because everybody use different terminology and notations.
Work in progress
The project is missing a lot of articles, but take a look at the recently changed articles:
Related subjects
- Formal languges (the main subject)
- Automata theory
- Computational complexity
- Algebra (like Kleene algebra)
- Natural language processing