手册

数学

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 galutinio teksto 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'''

>>bgcolor=#FFFC0<<

* 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.

CategoryTheoryOfComputability


Naujausi pakeitimai


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