Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
k-tape_turing_machine [2014/02/21 09:27]
nikolaj
k-tape_turing_machine [2014/04/08 14:44]
nikolaj
Line 1: Line 1:
 ===== k-tape Turing machine ===== ===== k-tape Turing machine =====
 ==== Set ==== ==== Set ====
-| @#88DDEE: $ 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: $ \langle Q,​\Gamma,​\Sigma,​\delta\rangle \in \mathrm{TM}_k $ | +| @#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: $ \Sigma\subset\Gamma$ | +| @#55EE55: postulate ​  | @#55EE55: $ q_\mathrm{start},​q_\mathrm{halt}\in Q $ | 
-| @#AAFFAA: $ \delta: Q\times\Gamma^k \to Q \times \Gamma^k \times \{\mathrm{L},​\mathrm{S},​\mathrm{R}\}^k$ | +| @#55EE55: postulate ​  | @#55EE55: $ \Box,​\triangleright,​0,​1\in\Gamma $ | 
- +| @#55EE55: postulate ​  | @#55EE55: $ \Box\notin\Sigma $ |
-| @#55EE55: $ q_\mathrm{start},​q_\mathrm{halt}\in Q $ | +
-| @#55EE55: $ \Box,​\triangleright,​0,​1\in\Gamma $ | +
-| @#55EE55: $ \Box\notin\Sigma $ |+
  
 ==== Discussion ====  ==== Discussion ==== 
Link to graph
Log In
Improvements of the human condition