Context-free grammar

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

A CFG uses finite disjoint nonterminal and terminal alphabets, a start symbol and finite productions with a single nonterminal on each left side.

atlas-context-free-grammar · canonical_mko

Prerequisite nodes