NFA for complete syntax
state 0
	epsilon	7
state 7
	epsilon  5
	epsilon  8

state 5
	epsilon  1
	epsilon  3

state 1
	a  2

state 2
	epsilon  6

state 6
	epsilon  5
	epsilon  8

state 8
	a  10

state 10
	b  11

state 11
	final state

state 3
	b  4

state 4
	epsilon  6


Minimised DFA for complete syntax

state 0
	a	2
	b	1

state 1
	a	2
	b	1

state 2
	a	2
	b	3

state 3 (final 11[0],)
	a	2
	b	1

12/600 NFA states, 4/800 DFA states
104/15000 entries in move vectors