# What does it mean to say a language is context-free?

What does it mean to say a language is context-free?

-
– Fixee Apr 10 '11 at 4:10

1
I did not quite understand the wikipedia, which was why I posted a question here, hoping someone could explain it in laymans terms. – petercpwong Apr 10 '11 at 4:15

## 4 Answers

A context-free grammar is defined as a grammar in which every production rule is of the form $A \rightarrow \alpha$, where $A$ is a variable and $\alpha$ is a sequence of variables and terminals.

Formally, a context-free grammar can be defined as a 4-tuple $(V, \Sigma, R, S)$, where $V$ is a finite set consisting of the variables, $\Sigma$ is a finite set consisting of the terminals, $R$ is a set of production rules (in the form mentioned above), and $S \in V$ is the starting variable.

The language of a context-free grammar is the set of strings that can be derived from its start variable. A context-free language is any language that is generated by a context-free grammar.

For example, $\{ 0^n1^n : n \ge 0 \}$ is context-free because it is generated by the context-free grammar $(\{S\}, \{0, 1\}, R, S)$, where the set of rules, $R$, is $$S \rightarrow 0S1 \mid \varepsilon.$$

(Note: I am using $\varepsilon$ to denote the empty or null string.)

As seen in this example, the set of context-free languages contains languages that are not regular. Also, since it is easy to mimic a DFA with a context-free grammar, the set of regular languages is a proper subset of the set of context-free languages. Pushdown automata are the automata cousins of context-free grammars; they accept context-free languages and there exist algorithms to convert between the two models.

Note that the language $\{ a^nb^nc^n : n \ge 0 \}$ is not context-free (try to write a context-free grammar to generate this language and you will get a feeling for why). It can be proven that the language is not context-free with the pumping-lemma for context-free languages, which I will leave as an exercise for the reader.

There are more powerful grammars, such as context-sensitive grammars, which allow the production rules to have the form $\beta A \gamma \rightarrow \beta\alpha\gamma$, where $\alpha$, $\beta$, and $\gamma$ are sequences of variables and terminals. Context-sensitive grammars are as powerful as linear bounded automata (LBA).

-

You should give an example for a non-context free grammar/language. – Raphael Apr 10 '11 at 10:19
Good idea! Added. – Zach Langley Apr 10 '11 at 14:54
Almost! ;) $\alpha A \beta \rightarrow \gamma$ is the general rule format, equivalent to TMs (since the context can be manipulated). Context-sensitive grammars are restricted to $\alpha A \beta \rightarrow \alpha \gamma \beta$. – Raphael Apr 10 '11 at 15:36
Oops, thanks, fixed. – Zach Langley Apr 10 '11 at 15:40

Given the technical definition of what a language is and what context-free is, it means that in the processing of rules defining the language, no context is used. That is, any variable is rewritten by itself, with no context. Once a variable is produced in a derivation, none of the string around that variable will ever be involved in any further derivation...no context is used in rewriting a variable.

More complicated languages do not have this restriction (they may allow use of context/other adjacent variables and terminals in rewriting a variable).

Context-free languages are "easier" to parse (quicker/more efficiently) than context sensitive ones.

Note that the term 'context' is very technical here; it is referring to the context of a substring when rewriting. Technical terms have a life of their own and don't necessarily relate well to the first layman's understanding of the word.

-

Another characterisation is this: The set of context-free languages CFL is the set of all languages that are accepted by (maybe nondeterministic) push-down automata (finite automata plus one stack).

More intuitively, context-free languages have the property that different parts of a word are independent in a certain sense, namely in the same way as dynamic programming optimises subproblems independently. Not conincidentally, context-free grammars can by parsed by dynamic programming (CYK algorithm), non-context-free can not (in general).

-

It might be a good idea to explicitly state that you are referring to non-deterministic PDAs. – Zach Langley Apr 10 '11 at 15:10
Agreed, thanks. I "grew up" with PDA $=$ NPDA $\cup$ DPDA with NPDA $\cap$ DPDA $= \emptyset$. DPDA $\subset$ NPDA = PDA is also common. – Raphael Apr 10 '11 at 15:40

My understanding is that a language is context-free if all statements can be understood without requiring external context, which is true for no natural language and those aspects of programming languages that do not rely on data or APIs from external sources.

-

2
Most programming languages are not context-free. What PL people call "static semantics" or "context restrictions" (often even subsumed in the notion of "syntax") are certain computable criteria (type correctness, visibility, ...) that require more computational power. It is, however, true that pure syntax of programming languages is usually context-free, i.e. given by a CFG. Not all "valid" programs in that regard are accepted by the compiler, obviously. – Raphael Apr 10 '11 at 10:29
I think I misunderestimated the prevalence of data and APIs external to the environment. – James Edward Lewis Apr 10 '11 at 11:30
Maybe, but that is not the point. Even assuming you have access to all code while compiling, you have certain problems. Very simple example: forward references (e.g. methods in a Java class) can not be resolved/checked in one pass, i.e. not by a PDA. Name resolution is problematic in general, since a PDA has no way to store arbitrarily many (valid) identifiers with random access. – Raphael Apr 10 '11 at 12:21
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 24, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9121056199073792, "perplexity_flag": "middle"}