Sebuah bebas konteks tata bahasa G = (V, T, P, S), dimana:
V: set variabel atau non-terminal
T: set terminal (= alphabet U {})
P: set produksi, yang masing-masing adalah dalam bentuk? V ==> 1 | 2 | ...
Dimana setiap i adalah string sewenang-wenang variabel dan terminal
S ==> mulai variabel
Sedang diterjemahkan, harap tunggu..