LR(k)-sprog er en klasse af sprog, der kan genkendes af en type parsingalgoritme kaldet LR(k)-parsere. I forbindelse med beregningsmæssig kompleksitetsteori og kontekstfri grammatik spiller LR(k)-sprog en væsentlig rolle i forståelsen af ​​programmeringssprogs kompleksitet og udtryksevne. For at forstå LR(k)-sprog skal vi først forstå LR