Дмитрий, еще добавлю к словам Сергея:
LBA не является алгоритмически полным, так что сравнивать вообще
бессмысленно.
- Linear bounded automaton
In computer science, a linear bounded automaton (plural linear bounded
automata, abbreviated LBA) is a *restricted form of Turing machine*.
Здравствуйте.
Насколько я понимаю, Рефал не является реализацией языка на базе LBA :-)
Языки, упомянутые на указанной вами странице википедии, не являются
языками программирования, поэтому Рефалу там не место.
С уважением,
Сергей.
On Sun, 28 Jun 2020 09:46:39 +0400
Dmitry Ponyatov