Emptiness for CFGs is Decidable (what is a productive variable?)

Поділитися
Вставка
  • Опубліковано 21 гру 2024

КОМЕНТАРІ • 1

  • @beyinforum
    @beyinforum 4 роки тому +2

    Is every total, convergent function f: N → N is WHILE-computable?