Дмитрий, еще добавлю к словам Сергея:

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 <refal@botik.ru> wrote:

> Здравствуйте.
> Насколько я понимаю, Рефал не является реализацией языка на базе LBA :-)
>
> Языки, упомянутые на указанной вами странице википедии, не являются
> языками программирования, поэтому Рефалу там не место.
>
> С уважением,
> Сергей.
>
> On Sun, 28 Jun 2020 09:46:39 +0400
>   Dmitry Ponyatov dponyatov_AT_gmail.com  <refal@botik.ru> wrote:
> > Добрый день
> >
> > Рефал это реализация языка на базе LBA ?
> >
> > https://en.wikipedia.org/wiki/Linear_bounded_automaton
> >
> > Рефал не упоминают 8(
> >
> >
> > ------------------------------
> > С уважением, Понятов Дмитрий, инженер IoT/embedded, тел. +7 917 10
> >10 818
>
>
>
>
  • ... Dmitry Ponyatov dponyatov_AT_gmail . com
    • ... Скоробогатов Сергей Юрьевич skorobogatov_AT_bmstu . ru
      • ... Andrei Klimov andrei_AT_klimov . net

Ответить