P Rewrite FA