211
правок
Изменения
м
→Автоматные языки
{{Определение
|definition=
'''Мгновенное описание (конфигурация)''' — {{---}} пара <tex>\langle q, \alpha \rangle</tex>, где <tex>q</tex> – {{---}} текущее состояние, <tex>\alpha</tex> – {{---}} оставшиеся символы.
}}
Будем говорить, что конфигурация <tex>\langle p, \beta \rangle</tex> выводима из <tex>\langle q, \alpha \rangle</tex> за 1 шаг <tex>(\langle q, \alpha \rangle \vdash \langle p, \beta \rangle)</tex>, если:
