Turingovy stroje pracující v reálném čase - Jakubková, Miroslava (1974)