Изменения

Перейти к: навигация, поиск

Детерминированные конечные автоматы

44 байта добавлено, 18:04, 27 ноября 2014
Автоматные языки
{{Определение
|definition=
'''Мгновенное описание''' ('''конфигурация''') (англ. ''instant configuration'') {{---}} пара <tex>\langle q, \alpha \rangle</tex>, где <tex>q</tex> {{---}} текущее состояние, <tex>\alpha</tex> {{---}} оставшиеся символы.
}}
Будем говорить, что конфигурация <tex>\langle p, \beta \rangle</tex> выводима из <tex>\langle q, \alpha \rangle</tex> за один шаг <tex>(\langle q, \alpha \rangle \vdash \langle p, \beta \rangle)</tex>, если:
Анонимный участник

Навигация