Gröbner and Gröbner–Shirshov bases in algebra and conformal algebras

In this paper the Gröbner–Shirshov bases theory is regularly presented for commutative, non-commutative, Lie and conformal algebras. The general form of Composition-Diamond lemma for conformal relations is stated. We have made a review of some results obtained with Gröbner–Shirshov bases of usual and conformal algebras. It is proved that every finitely generated commutative conformal algebra is Noetherian, an analogue of Specht problem is considered for commutative conformal algebras.