Язык называется контекстно-свободным, если существуют КС-грамматика, порождающая этот язык