tˈodi nˈɑ fxˈid spitsiaɭˈizatʌra pʌdˈɑitsja , ˈɑ zadˈɑtʃʲɪ spitsiaɭˈizatʌra — pʌrˈoditi zaɭˈiʃkʌvu prʌhrˈɑmu ˈjaka pʌvˈinna zadʌvˈiɭnjati nastˈupnim umˈovam
Тоді на вхід спеціалізатора подається , а задача спеціалізатора — породити залишкову програму  яка повинна задовільняти наступним умовам