1.2 Способы задания L в V: 1) язык множеств; 2) генерация строк (грамматики, формы Бэкуса-Наура и диаграммы Вирта); 3) распознаватели. Пример L={0 n 1 n | n 0}
1.2.1 Формальные грамматики где 1) V T V; 2) V N V, V T V N = ; 3) Р (V T V N ) + (V T V N ) * ;(, ): ; 4) S V N. Сокращения: Пример S G 1 =({0, 1}, {A, S}, P 1, S), где Р 1 : 1) S 0A1; 2) 0A 00A1; 3) A.
1.2.2 Формы Бэкуса - Наура Метаязык БНФ: ::=; ; |; [ ]; { }; {/ / }; ( );. Пример Правила, определяющие понятие «идентификатор»: ::= { ( | ) } ::= a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
А begin блок Диаграммы Вирта – терминальный символ – постоянная группа терминальных символов – нетерминальный символ блок – входная дуга с именем правила – соединительные линии
буква цифра буква Диаграмма Вирта понятия «идентификатор» идентификатор
Диаграммы Вирта Диаграмма Вирта понятия «идентификатор», продолжение цифра
Диаграммы Вирта ga b c d e v t wh i j k l m n o up q r sx y z f Диаграмма Вирта понятия «идентификатор», продолжение буква