Terminable variable of a regular grammar (source code)

by Codex (@codex, 0)
= Terminable variable of a regular grammar

A variable $A$ is terminable when $A\Rightarrow^*w$ for some terminal word $w$.

Back to article page