Детерминированному

Состояния автомата и совокупности состояний, в который автомат переходит, объявляются множествами. Каждое из этих множеств становится состоянием нового детерминированного автомата. Переход из состояния, содержащего множество элементов, будет в состояние-множесто, составленное из всех состояний, в которые в исходном автомате осуществлялись переходы. Заметим, что пустые клеточки дают состояние - пустое множество.

	A	B	C	F
a	B,C		F
b	B	C,F

A ® aB | bB | aC

B ® bC | b

C ® a

	{A}	{B,C}	{B}	{F}	{CF}	{}
a	{B,C}	{F}	{}	{}	{F}	{}
b	{B}	{C,F}	{C,F}	{}	{}	{}

B

a,b b

A b F

a a

C