Igen, ez is meg van említve az általam említett cikkben, ami pedig ez: https://infoc.eet.bme.hu/turing.php#3