正则表达式公理的英文翻译

中文：正则表达式公理