手册

数学

物理

Discovery

Andrius Kulikauskas

  • ms@ms.lt
  • +370 607 27 665
  • My work is in the Public Domain for all to share freely.

Lietuvių kalba

Introduction E9F5FC

Understandable FFFFFF

Questions FFFFC0

Notes EEEEEE

Software

Book.CategoryTheoryOfComputability istorija

Rodyti nežymius pakeitimus - Rodyti kodo pakeitimus

2019 balandžio 18 d., 11:10 atliko AndriusKulikauskas -
Pakeistos 5-11 eilutės iš
  • Consider the setting of the values on a tape for a Turing machine as given by a natural transformation where each cell is an object. Consider the cells as objects and changing of values as morphisms.
į:
  • Consider the setting of the values on a tape for a Turing machine as given by a natural transformation where each cell is an object. Consider the cells as objects and changing of values as morphisms.

Consider a category of cells (were morphisms are the paths between them).

Consider a category of cell values {0,1}.

Consider maps from a cell to its possible entries (O,1).

2019 balandžio 18 d., 10:29 atliko AndriusKulikauskas -
Pridėtos 1-5 eilutės:

Category theory of computability

  • Consider the setting of the values on a tape for a Turing machine as given by a natural transformation where each cell is an object. Consider the cells as objects and changing of values as morphisms.

Naujausi pakeitimai


Puslapis paskutinį kartą pakeistas 2019 balandžio 18 d., 11:10
Tweet