Дмитрий, еще добавлю к словам Сергея:
LBA не является алгоритмически полным, так что сравнивать вообще
бессмысленно.
- Linear bounded automaton
In computer science, a linear bounded automaton (plural linear bounded
automata, abbreviated LBA) is a *restricted form of Turing machine*.
https://en.wikipedia.org/wiki/Linear_bounded_automaton
Всего наилучшего,
Андрей
On Sun, Jun 28, 2020 at 9:19 AM Скоробогатов Сергей Юрьевич
skorobogatov_AT_bmstu.ru wrote:
> Здравствуйте.
> Насколько я понимаю, Рефал не является реализацией языка на базе LBA :-)
>
> Языки, упомянутые на указанной вами странице википедии, не являются
> языками программирования, поэтому Рефалу там не место.
>
> С уважением,
> Сергей.
>
> On Sun, 28 Jun 2020 09:46:39 +0400
> Dmitry Ponyatov dponyatov_AT_gmail.com wrote:
> > Добрый день
> >
> > Рефал это реализация языка на базе LBA ?
> >
> > https://en.wikipedia.org/wiki/Linear_bounded_automaton
> >
> > Рефал не упоминают 8(
> >
> >
> > --
> > С уважением, Понятов Дмитрий, инженер IoT/embedded, тел. +7 917 10
> >10 818
>
>
>
>