@estados
	&A &B &C(0) &C(1) &D(0) &D(1) &E &F

@alfabeto 
	[ 0 1 X ]
   
@entrada
	[ 0 1 ]

@inicio
	&A
   
@fim 
	&F

@transicoes   
	&A	[	&B	[	R
	&B	0	&C(0)	X	R
	&B	1	&C(1)	X	R
	&B	X	&F	X	R
	&C(0)	0	&C(0)	0	R
	&C(0)	1	&C(0)	1	R
	&C(0)	]	&D(0)	]	L
	&C(0)	X	&D(0)	]	L
	&C(1)	0	&C(1)	0	R
	&C(1)	1	&C(1)	1	R
	&C(1)	]	&D(1)	]	L
	&C(1)	X	&D(1)	X	L
	&D(0)	0	&E	X	L
	&D(1)	1	&E	X	L
	&E	0	&E	0	L
	&E	1	&E	1	L
	&E	X	&B	X	R 

@fita
	[ 0 1 1 0 1 1 0 1 1 0 ]
	[ 0 1 0 ]