FIRST Set for Terminals: Choosing the Correct Answer

Verified Sources

Sep 13, 2026

In context-free grammar parsing, the FIRST function is defined over grammar symbols. For a terminal symbol $x$ , the string that derives from $x$ starts with $x$ itself, so FIRST $(x)=\\{x\\}$ rather than containing $\epsilon$ . This directly answers the multiple-choice question: if $x$ is a terminal then FIRST $(x)$ is $(ii) \\{x\\}$ .

A useful related notion is epsilon: $\epsilon$ is included in a FIRST set only when a nonterminal (or symbol) can derive the empty string, i.e., when the symbol is nullable; terminals do not derive $\epsilon$ in the standard CFG definition.

(Formal definition source) FIRST sets and ε rules in CFGs. https://en.wikipedia.org/wiki/LL_parser#First_and_follow_sets - Explains FIRST/FOLLOW and conditions for ε inclusion. ↩
(Formal rule) FIRST of terminal symbol. https://en.wikipedia.org/wiki/LL_parser#First_and_follow_sets - Includes the base case FIRST(a) = {a} for terminals. ↩
(Nullable/ε relationship) Nullable symbols and how ε enters FIRST. https://en.wikipedia.org/wiki/Nullable_language - Background on nullable/empty-string derivations used in FIRST computation. ↩
(FIRST set base cases) FIRST computation rules for terminals and ε. https://en.wikipedia.org/wiki/First_and_follow_sets - Summarizes FIRST-set definitions and base cases. ↩

FIRST and FOLLOW Sets (CFG Parsing) — Quick Explanation

Interpreting the options

The question asks: If $x$ is a terminal then FIRST $(x)$ is:

Option	Meaning	Is it correct for terminals?
(i) $\epsilon$	Empty string is a possible first terminal	No—terminals don’t derive $\epsilon$ under CFG FIRST definition 2
(ii) $\{x\}$	$x$ is the only possible first terminal	Yes 2
(iii) $x^*$	Kleene star (a regex operator), not a FIRST-set element form	Not the right concept for FIRST sets in CFG parsing
(iv) $xx^*$	Also regex-like form, not a FIRST-set definition	Not the right concept for FIRST sets in CFG parsing

Therefore, the correct answer is (ii) $\{x\}$ . 2

(Formal definition source) FIRST sets and ε rules in CFGs. https://en.wikipedia.org/wiki/LL_parser#First_and_follow_sets - Explains FIRST/FOLLOW and conditions for ε inclusion. ↩
(Nullable/ε relationship) Nullable symbols and how ε enters FIRST. https://en.wikipedia.org/wiki/Nullable_language - Background on nullable/empty-string derivations used in FIRST computation. ↩
(Formal rule) FIRST of terminal symbol. https://en.wikipedia.org/wiki/LL_parser#First_and_follow_sets - Includes the base case FIRST(a) = {a} for terminals. ↩ ↩² ↩³ ↩⁴
(FIRST set base cases) FIRST computation rules for terminals and ε. https://en.wikipedia.org/wiki/First_and_follow_sets - Summarizes FIRST-set definitions and base cases. ↩ ↩²

Compute FIRST for a Terminal (CFG Rule)

1
Step 1
Check whether $x$ is a grammar terminal or a nonterminal nonterminal.
2
Step 2
If $x$ is a terminal, then FIRST $(x)$ is the singleton set containing $x$ itself, i.e., FIRST $(x)=\{x\}$ .
3
Step 3
Do not include $\epsilon$ for terminals because terminals do not derive the empty string; $\epsilon$ belongs to FIRST only for nullable symbols (typically certain nonterminals).

Rule of Thumb

In CFGs, $\text{FIRST}(a)=\{a\}$ for any terminal $a$ . $\epsilon$ shows up only when a symbol can derive the empty string (i.e., is nullable).

Common Confusion: Regex operators vs FIRST sets

Options like $x^*$ or $xx^*$ are regex-style expressions, not FIRST-set outputs. FIRST sets are sets of terminals that can appear first in derivations, not regex closures.

Quick FAQs

How FIRST(x) behaves for terminals vs nullable nonterminals

Conceptual comparison (not numeric data): membership of ε and x

Where the FIRST rule comes into parsing

Define grammar symbols

Step 1

Classify tokens as terminals and variables as nonterminals."

Build FIRST sets

Step 2

Use the terminal rule (FIRST(terminal) = {terminal}) and ε/derivation rules for nonterminals."

Use FIRST in LL(1)

Step 3

FIRST guides which production to choose based on the next input terminal."

FIRST Set Rapid Checks

1 / 3

Question · Term

FIRST(x) when x is a terminal?

Click to reveal

Answer · Definition

FIRST(x) = {x}. Terminals do not include ε.

Knowledge Check

Question 1 of 3

Q1Single choice

If x is a terminal then FIRST(x) is

{x}

xx*

Explore Related Topics

Lexical Analysis Token Counting: `while(count<=10) count = count + 1;`

The course explains how a lexical analyzer tokenizes the C statement while(count<=10) count = count + 1; and why the standard exam answer is 11 tokens.

Keywords, identifiers, literals, operators, and delimiters each count as one token; whitespace is ignored.
<= is recognized as a single relational‑operator token due to the longest‑match rule.
The full lexical split shows 12 visible symbols, but typical MCQ conventions omit one delimiter, giving 11 tokens.
Understanding token categories helps avoid common exam traps such as counting delimiters incorrectly.

Linear Grammar in the Chomsky Hierarchy (CF Grammar with ≤ 1 Nonterminal on RHS)

Symbol Table Attributes: Why the Correct Answer Is “All of These”

Browse all research articles