Kontekstfrie sprog og kontekstfølsomme sprog er to kategorier af formelle sprog i beregningsmæssig kompleksitetsteori. Disse sprog er defineret af de regler, der styrer deres dannelse, og forståelsen af ​​forskellene mellem dem er vigtig for at studere deres egenskaber og anvendelser inden for forskellige områder såsom cybersikkerhed. Et kontekstfrit sprog er en form for formelt sprog