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

Версия от 14:37, 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]

Версия от 11:11, 14 мая 2009 (просмотреть исходный код) KEV (обсуждение \| вклад) м (Защищена страница «Теорема о детерминизации»: чрезмерный спам ([edit=sysop] (бессрочно) [move=sysop] (бессрочно)) [каскадная]) ← Предыдущая правка		Версия от 14:37, 14 мая 2009 (просмотреть исходный код) KVN (обсуждение \| вклад) Нет описания правки Следующая правка →
Строка 8:		Строка 8:

	[Касьянов/95]		[Касьянов/95]

			[[Категория: Теория автоматов]]