 Straight-line grammar

Straight-line grammar is a formal grammar in the field of theoretical computer science and formal language theory. It is a type of context-free grammar (CFG) that generates a particular class of languages. Specifically, straight-line grammars generate straight-line languages, which are languages that can be defined without any ambiguity or branching in their production rules.