3. НаписатьHtmLкод для отображения в браузере таблицы:
1 2
3 4
5 6 7
<html>
<head>
<title>Задание № 6</title>
</head>
<body>
<table border = 5>
<tr>
<td>1</td>
<td>2</td>
</tr>
<tr>
<td > </td>
<td > 3</td>
<td >4</td>
</tr>
<tr>
<td >5</td>
<td >6</td>
<td >7</td>
</tr>
</body>
</html>
Билет 20.
1. Формальные языки и грамматики. Классификация грамматик по Хомскому.
формальный язык — это множество конечных слов (строк, цепочек) над конечным алфавитом.
Формальная грамматика или просто грамматика в теории формальных языков— способ описания формального языка, то есть выделения некоторого подмножества из множества всех слов некоторого конечного алфавита. Различают порождающие и распознающие (или аналитические) грамматики — первые задают правила, с помощью которых можно построить любое слово языка, а вторые позволяют по данному слову определить, входит оно в язык или нет.
Теория формальных языков (формальных грамматик) занимается описанием, распознаванием и переработкой языков
Существуют два основных способа описания отдельных классов языков. Первый из них основан на ограничениях, которые налагаются на систему полусоотношений Туэ (продукций), на базе которых определяются грамматики как механизмы, порождающие цепочки символов. Другим способом является определение языка в терминах множества цепочек, с помощью некоторого распознающего устройства.
Такие устройства будем называть автоматами (автоматами-распознавателями). Хомский определил четыре типа грамматик, на основе которых оцениваются возможности других способов описания языков.
Типы грамматик по Хомскому обозначают: тип 0, тип 1, тип 2 и тип 3. Соответствующий тип грамматики определяется теми ограничениями, которые налагаются на продукцию Р.
Если таких ограничений нет, грамматика принадлежит к типу 0.
Единственное
ограничение, налагаемое на длину цепочек
α и β: 
относит
грамматики к
типу 1. Такие
грамматики также называют
контекстно-зависимыми, то есть грамматиками
непосредственных составляющих
(НС-грамматиками).
В
том случае, когда цепочка α состоит из
одного символа, т. е. 
,
грамматики относят к типу
2. В этом случае
их называют бесконтекстными
(контекстно-свободными или КС-грамматиками).
Наконец,
регулярными грамматиками (типа
3) называют
такие, для которых
.
Иными словами, правые части продукций
регулярных грамматик состоят либо из
одного терминального и одного
нетерминального символов, либо из одного
терминального символа.
Языком
L(G), порождаемым грамматикой G, будем
называть множество цепочек 
,
каждая из которых порождается из
начального символа S в смысле полу-туэвских
соотношений Р данной грамматики. Другими
словами, 
Нетрудно
видеть, что каждая регулярная грамматика
является бесконтекстной, а каждая
бесконтекстная грамматика является
контекстно-зависимой. В свою очередь,
каждая контекстно-зависимая грамматика
– это грамматика типа 0. Обратное
утверждение неверно. Очевидно, что
имеется некоторая иерархия грамматик,
которой соответствует иерархия формальных
языков, каждый из них может быть порожден
некоторой формальной грамматикой. При
этом тип языка соответствует типу той
грамматики, с помощью которой он может
быть порожден.
С другой стороны, типы языков могут быть определены типами абстрактных распознающих устройств (автоматов). При этом язык определяется как множество цепочек, допускаемых распознающим устройством определенного типа. На рис. 1.1 приведена иерархия языков и соответствующие ей иерархии грамматик и автоматов как распознающих устройств.
Любое множество, порождаемое автоматическим устройством произвольного вида, порождается некоторой грамматикой типа 0 по Хомскому. Заметим, что для любого естественного языка, в принципе, возможно построить математическую модель, использующую такую грамматику.
Таким образом, грамматики типа 0 представляют собой порождающие устройства очень общего характера. А те формальные языки, с которыми имеют дело автоматно-лингвистические модели (язык программирования, ограниченные естественные языки), как показывает практика, всегда описываются языками типа 1 или 2.
Языки типа 3, которые называют автоматными языками, языками с конечным числом состояний, нашли широкое применение в исследовании электронных схем, а также в ряде других областей (например, исследование цепей Маркова).