Formal Lang PDKA