Sentential Form

languages

Definition

Sentential Form

Given a grammar $G = \langle N, T, P, S \rangle$$

If $S\Rightarrow w$ holds for a word $w\in (N\cup T{)}^{\ast }$, then $w$ is called a sentential form.

$$SF(G,n)=\{w\in (N\cup T{)}^{\ast }\mid S{\Rightarrow }^{n}w\}$$