Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
k-tape_turing_machine [2014/03/21 11:11]
127.0.0.1 external edit
k-tape_turing_machine [2014/04/08 14:44] (current)
nikolaj
Line 2: Line 2:
 ==== Set ==== ==== Set ====
 | @#55CCEE: context ​    | @#55CCEE: $ k\in\mathbb N $| | @#55CCEE: context ​    | @#55CCEE: $ k\in\mathbb N $|
- 
 | @#FFBB00: definiendum | @#FFBB00: $ \langle Q,​\Gamma,​\Sigma,​\delta\rangle \in \mathrm{TM}_k $ | | @#FFBB00: definiendum | @#FFBB00: $ \langle Q,​\Gamma,​\Sigma,​\delta\rangle \in \mathrm{TM}_k $ |
- 
 | @#AAFFAA: inclusion ​  | @#AAFFAA: $ \Sigma\subset\Gamma$ | | @#AAFFAA: inclusion ​  | @#AAFFAA: $ \Sigma\subset\Gamma$ |
 | @#AAFFAA: inclusion ​  | @#AAFFAA: $ \delta: Q\times\Gamma^k \to Q \times \Gamma^k \times \{\mathrm{L},​\mathrm{S},​\mathrm{R}\}^k$ | | @#AAFFAA: inclusion ​  | @#AAFFAA: $ \delta: Q\times\Gamma^k \to Q \times \Gamma^k \times \{\mathrm{L},​\mathrm{S},​\mathrm{R}\}^k$ |
- 
 | @#55EE55: postulate ​  | @#55EE55: $ q_\mathrm{start},​q_\mathrm{halt}\in Q $ | | @#55EE55: postulate ​  | @#55EE55: $ q_\mathrm{start},​q_\mathrm{halt}\in Q $ |
 | @#55EE55: postulate ​  | @#55EE55: $ \Box,​\triangleright,​0,​1\in\Gamma $ | | @#55EE55: postulate ​  | @#55EE55: $ \Box,​\triangleright,​0,​1\in\Gamma $ |
Link to graph
Log In
Improvements of the human condition