added insertion of new start element
finished 'empty stack -> final state' conversion