The Supervisory Control Problem of Discrete Event Systems using Polynomial Methods