Части микрокоманды, теория автоматов