Quote: Petri constructed a Petri net representation of a Turing machine; used automatic tape constructors; equivalent to an infinite net

Note

Constructs a net representation of a turing machine by successively building up sub-nets defined by C-forms (communication forms). Constructs net representations for the transition table, the tape head, the left and right tape tail, and an automatic tape constructor at either end.

Related Topics

Topic: infinity and infinitesimal (37 items)
Topic: Petri net (44 items)