Там не только с рекурсией проблемы, допустим у нас есть процедура D внутри которой описаны процедуры A,B,C, причём процедура A вызывается из B и C, в этом случае процедуре A должны передать указатель на локальные переменные процедуры D, иначе доступа к ним она не получит. Ну и такая же фигня может случиться на любом уровне, где есть несколько вложенных процедур и в итоге копировать придётся несколько указателей.
Это всё прекрасно, только этим языкам уже лет 20 и не удивительно что на тот момент они как-то соответствовали возможностям железа. С другой стороны, если взять язык релейных диаграмм, то реально никаких реле внутри нет, кроме возможно силовых на выходе и изолирующих на входах. Так что тезис о том, что алгоритмические языки сильно отстали от железа промышленная автоматика никак не опровергает.