Теорема о детерминизации: различия между версиями
Перейти к навигации
Перейти к поиску
KEV (обсуждение | вклад) (Создана новая страница размером '''Теорема о детерминизации''' (''Determinization theorem'') - говорит о том,...) |
(нет различий)
|
Версия от 11:10, 14 мая 2009
Теорема о детерминизации (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] по единому алгоритму.
Литература
[Ахо-Ульман],
[Касьянов/95]