Формальные системы, формальные языки, грамматики, синтаксический анализ

1.

Формальные системы, формальные языки,
грамматики, синтаксический анализ

2.

В ряде задачах связанных с искусственным интеллектом одно из центральных
мест занимают понятия:
-«формальная система»;
- вычислимость (т.е. возможность решить задачу за конечное число шагов,
найти алгоритм) в рамках заданной формальной системы;
- машина Тьюринга.
Любой язык также является формальной системой.

3.

4.

5.

Иерархия Хомского
Классификация формальных языков и грамматик
Могут использоваться при
анализе естественного языка
Широко используются при
написании компиляторов
для языков программировани

6.

7.

Пример:
Вход: Формула: (12+5)

8.

9.

Разработать часть интерпретатора с Паскаль-подобного языыка для разбора
раздела объявления переменных в языке
program var Id {,Id : int | bool};
Пример:
program var ia , ib : int , ba , bb : bool ;
Сначала нужно разработать грамматику для разбора этого выражения.