Теорема о детерминизации

Материал из WikiGrapp
Версия от 11:40, 19 сентября 2011; KEV (обсуждение | вклад)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Теорема о детерминизации (Determinization theorem) — говорит о том, что если [math]\displaystyle{ L=L(M) }[/math] для некоторого недетерминированного конечного автомата [math]\displaystyle{ M }[/math], то [math]\displaystyle{ L=L(M') }[/math] для некоторого полностью определенного конечного автомата [math]\displaystyle{ M' }[/math], который строится по [math]\displaystyle{ M }[/math] по единому алгоритму.

Литература

  • Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. — М.: Мир, 1978. — Т. 1,2.
  • Касьянов В.Н. Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995.