Context clash

When a parser cannot tell which alternative production of a syntax applies by looking at the next input token (“lexeme”).
E.g. given syntax
C -> A | b c
A -> d | b e
If you’re parsing non-terminal C and the next token is ‘b’, you don’t know whether it’s the first or second alternative of C since they both can start with b.
To discover whether a grammar has a context clash:
For each non-terminal, N, with multiple alternatives, look at the first symbol of each alternative’s right-hand side, call it s. If s is the empty string, then find the set FOLLOWER(N) otherwise find the set FIRST*(s). If any of the sets for N’s alternatives intersect then there will be a context clash when parsing N. If the next input symbol is one of those in the intersection of two sets then you won’t know which of the alternatives applies.
FIRST(s) is the set of symbols with which s can start, including s itself. If s is a non-terminal then FIRST(s) also includes the first symbol of each alternative right-hand side of s. The ‘*’ in FIRST*(s) means the “transitive closure” of FIRST which means keep applying FIRST to each element of the result until the result doesn’t change. I.e. start with just the set R = s, then for each non-terminal x in R, add FIRST(x) to R. Keep doing this until nothing new is added. (We are really only interested in the terminals in FIRST*(s) but some definitions include the non-terminals).
FOLLOWER(N) is the set of symbols which can come after N in a sentence. Find each occurrence of N on the right-hand side of a rule, e.g.
M -> … | … N … | …
If there is a symbol s immediately following N then add FIRST*(s) to the result (again, we’re only interested in the terminal symbols in FIRST*(s)) if there is no symbol after N in the alternative then add FOLLOWER(M) to the result (i.e. if N can be the last symbol in an M then anything that can follow M can also follow N).
If a grammar can generate the same sentence in multiple different ways (with different parse tress) then it is ambiguous. An ambiguity must start with a context clash (but not all context clashes imply ambiguity). The context clash occurs when trying to parse the first token of the phrase with multiple parses – you will not be able to tell which alternative to take. To see if a context clash is also a case of ambiguity you would need to follow the alternatives involved in each context clash to see if they can generate the same complete sequence of tokens.

Read Also:

  • Context clue

    noun a method by which the meanings of unknown words may be obtained by examining the parts of a sentence surrounding the word for definition/explanation clues, restatement/synonym clues, contrast/antonym clues, and inference/general context clues Usage Note grammar

  • Context-free

    Said of a grammar where the syntax of each constituent is independent of the symbols occuring before and after it in a sentence. Parsers for such grammars are simpler than those for context-dependent grammars because the parser need only know the current symbol.

  • Contextless

    [kon-tekst] /ˈkɒn tɛkst/ noun 1. the parts of a written or spoken statement that precede or follow a specific word or passage, usually influencing its meaning or effect: You have misinterpreted my remark because you took it out of context. 2. the set of circumstances or facts that surround a particular event, situation, etc. 3. […]

  • Context-of-situation

    noun, Linguistics. 1. the totality of extralinguistic features having relevance to a communicative act.

  • Contextomy

    [kon-teks-tuh-mee] /kɒnˈtɛks tə mi/ noun, plural contextomies for 2. 1. the practice of misquoting someone by shortening the quotation or by leaving out surrounding words or sentences that would place the quotation in context. 2. an instance of this.

Disclaimer: Context clash definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.