Added NFA and updated Languages.

!!! THIS COMMIT IS BROKEN !!!