This example from http://en.wikipedia.org/wiki/Powerset_construction

Comment: In the NDFA Extension to the VFSM syntax (VFSMv2N), lambda: and epsilon: are equivalent
Comment: In VFSMv2N, lambda: and epsilon: are special transitions indicating transition on no input
Start: 1
Accept: 3 4
Edges:
	1 0 2
	1 lambda: 3
	2 1 2
	2 1 4
	3 epsilon: 2
	3 0 4
	4 0 3
End:

Should become a DFA under powerset construction or equivalent

Start: {123}
Accept: {123} {24} {23} {4}
Edges:
	{123} 0 {24}
	{123} 1 {24}
	{24} 0 {23}
	{24} 1 {24}
	{23} 0 {4}
	{23} 1 {24}
	{4} 0 {23}
	{4} 1 {}
	{} 0 {}
	{} 1 {}
End: