Пред.Страница  След.Страница   Раздел   Содержание


1.3. Типы формальных языков и грамматик

В теории формальных языков выделяются 4 типа грамматик, которым соответствуют 4 типа языков. Эти грамматики выделяются путем наложения усиливающихся ограничений на правила грамматики.

1.3.1. Грамматики типа 0

Грамматики типа 0, которые называют грамматиками общего вида, не имеют никаких ограничений на правила порождения. Любое правило

r = h ® y

может быть построено с использованием произвольных цепочек  h, y Î (Vт È Va)*. Например,
 

<T><W> ® <W><T>  или  x<A>b<C><D> ® x<H><D>.


Пред.Страница  След.Страница   Раздел   Содержание