Adott három automata, amelyek egész számokból álló számpárokat fogadnak el. A beadott számpárokat visszaadják, és ezen kívül egy új számpárt produkálnak. Az első automatába az (a,b) számpárt rakva az új pár (a+1,b+1) lesz. A másodikba rakva az eredeti párt (a/2, b/2)-t kapunk vissza. (De csak páros a és b szám esetén használhatjuk a második gépet!) A harmadik automatába két számpárt kell beadni úgy, hogy az első számpár második tagja megegyezzen a második számpár első tagjával. Ha az automata megkapja az (a,b) és (b,c) párokat, akkor az (a,c) párt adja ki.

Megkaphatjuk-e az (1,50) párt, ha kezdetben egyetlen párunk van: (5,19) ?
(Indoklás!)