در علوم رایانه، یک گرامر خطی، گرامر مستقل از متنی است که حداکثر یک نماد غیرپایانی در سمت راست تولیدات خود دارد.زبان خطی یک زبان تولید شده توسط چند گرامر خطی است.
S → aSb
S → ε
یک گرامر خطی ساده G که {N = {S}, Σ = {a, b و P با نماد شروع S و قواعد:
که زبان { a i b i | i ≥ 0 } {\displaystyle \{a^{i}b^{i}\;|\;i\geq 0\}} را تولید می کند.
دو نوع خاص از گرامر خطی به شرح زیر است:
S → aSb
S → ε
یک گرامر خطی ساده G که {N = {S}, Σ = {a, b و P با نماد شروع S و قواعد:
که زبان { a i b i | i ≥ 0 } {\displaystyle \{a^{i}b^{i}\;|\;i\geq 0\}} را تولید می کند.
دو نوع خاص از گرامر خطی به شرح زیر است:
wiki: گرامر خطی