В теоретической информатике УК-автомат — это конечный автомат с двумя входными лентами. Назовите тех, благодаря кому УК-автомат был так назван.