equal
deleted
inserted
replaced
1 theory turing_basic |
1 theory turing_basic |
2 imports Main |
2 imports Main |
3 begin |
3 begin |
4 |
|
5 section {* Basic definitions of Turing machine *} |
|
6 |
|
7 (* Title: Turing machine's definition and its charater |
|
8 Author: Xu Jian <xujian817@hotmail.com> |
|
9 Maintainer: Xu Jian |
|
10 *) |
|
11 |
|
12 text {* |
|
13 \label{description of turing machine} |
|
14 *} |
|
15 |
4 |
16 section {* Basic definitions of Turing machine *} |
5 section {* Basic definitions of Turing machine *} |
17 |
6 |
18 (* Title: Turing machine's definition and its charater |
7 (* Title: Turing machine's definition and its charater |
19 Author: Xu Jian <xujian817@hotmail.com> |
8 Author: Xu Jian <xujian817@hotmail.com> |