正规形理论及其应用