Фактор-автомат

Это автомат вида ( A/ρ1, X/ρ2, B/ρ3).

 


» Терминология