алфавітний оператор разом із системою правил, яка визначає його дію

відповідність між словами в одному або різних алфавітах

немає вірної відповіді

множину команд вигляду , що визначає процес обчислень

операція над словами, задана за допомогою впорядкованої пари слів