Автоматы, языки и грамматики.

Язык – это совокупность правил, построенных конструкций (предложение).

Грамматика -это совокупность следующих объектов: <V_т,V_n,I,R>=G

V_т– словарь терминальных символов, которые состоят из основных символов языка, к которым относятся буквы, цифры, знаки и неделимые конструкции языка.

V_т={a,b,…,z}

V_n– словарь нетерминальных символов, используемый для обозначения части конструкций языка.

V_n={A,B,…,Z}

I– начальный символ грамматики, является элементом нетерминального словаря.

I € V_n

R– множество порожденных правил вида

φ ψ₁, где φ и ψ – цепочки символов, которые относятся к полному словарюV_ТиV_nопределенные.

V = V_т v V_n

В φ входит хотя бы один нетерминальный символ

V_т* - множество конечных цепочек, построенных из терминальных символов.

V* - множество цепочек, построенных из терминалов и нетерминалов.

α , β,φ,ψ€V^*- конечные цепочки, построенные из символов общего словаря. Порождающее правило определяет подстановку, при котором последовательностьφзаменяется на последовательностьψ.

Пусть есть R:φψи есть цепочка

ώ₁ = ξ₁φ ξ₂

ώ₂ = ξ₁ψξ₂

ξ₁ξ₂ €V* - цепочки

Тогда говорят, что ώ₂непосредственно выводится из непосредственно выведенной из ώ₁и обозначается

ώ₁ => ώ₂ или

n

ώ₁ => ώ₂

Предположим, что есть множество цепочек:

Ω = {ώ₁ , ώ₂ , ώ₃ , … , ώ_n}

ώ₁ => ώ₂

ώ₂ => ώ₃

_…

ώ_n-1 => ώ_n и обозначается

n

ώ₁ => ώ₂

Множество конечных цепочек, которые выводятся из начального символа грамматики и которые представлены только терминальными символами называются языком порождаемой грамматикой. L(G) = { ώ : ώ €V_т* &I=> ώ }

Рассмотрим примеры грамматик и языков:

1. G₁

V_т = {a , b , c}

I

V_n = {I}

R = {Iabc}

L(G₁) = {(abc)}

2. G₂

V_т = {a , d , c}

I

V_n = {I , B , C}

R = {Iab , BCd , BdC , C c}

I => ab => aCd => acd

=> adC => adc

L(G₂) = {(acd) , (adc)}

3. G₃

V_т = {a , b , e}

I

V_n = {I , A}

R = {IaAb , aAaaAb , Ac}

I => aAb => ab

I => aAb => aaAbb => aaaAbbb => aaabbb

L(G₃) = {(aⁿbⁿ) n>=1}

4. G₄

V_т = {a , b}

I

V_n = {I , A}

R = {IaA , AbA}

I => aA => abA => abbA => …

Грамматика не порождает цепочек, содержащих только нетерминальные символы, следовательно язык не порождающий цепочек, следовательно язык пустой.

Чтобы язык был не пуст в нем должно быть:

1. хотя бы одно правило вида:

η  w , w € V_т^*

*

2. I => η

Если пронумеровав все правила грамматики записать последовательность номеров правил, использованных для порождения цепочки, то эта последовательность номеров называется синтаксическим разбором цепочки.Синтаксический разбор цепочки может осуществляться в виде синтаксического дерева.

Пример:

V_т = {a , b}

V_n = {I , A}

I

R = {I => aAb , A  aAb}

Это синтаксический разбор цепочки. Порожденная цепочка представляет собой конечные вершины дерева, которые выписываются при обходе вершин дерева против часовой стрелки. Две грамматики называются эквивалентными, если они порождают одинаковые языки.

G₃иG₅– эквивалентны.

Цепочка порожденная грамматикой называется неоднозначной, если она может быть выведена из начального символа более чем одним способом, т.е. цепочка имеет несколько синтаксических разборов. Грамматика порожденная неоднозначной цепочкой является неоднозначной.

G₆:

V_т = {a , b , с, d}

I

V_n = {I , A , B}

R = {IAB , Aa , Aac , Bb , Bcb}

I => AB => acB => acb

I => AB => AcB => acb

Данная цепочка неоднозначна, следовательно G₆неоднозначна.