В конечном автомате какого типа выходные переменные определяются только внутренними состояниями?