Translation Of Regular Verification In Different Languages