Теорема о детерминизации: различия между версиями

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

* Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. — М.: Мир, 1978. — Т. 1,2.

 

* Касьянов В.Н.  Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995.