Искусственный интеллект

5.8.1. Формальные грамматики Назовем некоторое множество А, состоящее из элементов а, терми-нальным алфавитом, а его элементы терминалами. Введем также конечное непустое множество символов N, которые назовем нетерминалами. Множества N и А не пересекаются. Объединение этих множеств обозначим 128 5.8. Языки и грамматики символом V. Элементы множества А будем по-прежнему обозначать строчными символами о, а элементы множества N— заглавными буквами. Множество всех последовательностей в алфавите V обозначим V*. Если к множеству V* добавить пустой символ, то получим множество V*'. Наконец, множество упорядоченных пар (v, w), где v является элементом множества V *'х А х V *', a w — элементом множества V*, обозначим символом.