In rekenaar wetenskap is 'n formele grammatika in Chomsky-normaal-vorm as en slegs as alle produksie reëls van die volgende vorm is: A → BC of A → α of S → ε waar A, B en C nie-terminaalsimbole is nie, α 'n terminaalsimbool ('n simbool wat 'n konstante waarde voorstel) is, S die begin simbool is en ε die leë-string is. Elke grammatika in Chomsky-normaal-vorm is konteks-vry, en omgekeerd, elke kontek-vrye grammatika kan op doeltreffende wyse in 'n ekwivalente Chomsky-normaal-vorm grammatika omskep word. Met die uitsondering van die opsionele reël S → ε (ingesluit wanneer die grammatika die leë-string mag genereer), is alle reëls van 'n grammatika in Chomsky-normaal-vorm ekspansief ; dus, deur die hele die afleiding van 'n string, is elke string van terminale en nie-terminale altyd dieselfde lengte of een element langer as die vorige so string. Die afleiding van 'n string met lengte n is altyd presies 2n-1 stappe lank.