Added NFA version of RDP. Currently doesn't work