consolidate material on Turing machines in a separate Part

Conflicts: first-order-logic/first-order-logic.tex
OpenLogicProject · May 1, 2015 · 78518d5 · 78518d5
1 parent 9797b98
commit 78518d5
Show file tree

Hide file tree

Showing 13 changed files with 25 additions and 14 deletions.
diff --git a/computability/computability.tex b/computability/computability.tex
@@ -6,8 +6,6 @@
 
 \part{Computability}
 
-\olimport[tm-computations]{tm-computations}
-
 \olimport[recursive-functions]{recursive-functions}
 
 \olimport[lambda-calculus]{lambda-calculus}

diff --git a/first-order-logic/first-order-logic.tex b/first-order-logic/first-order-logic.tex
@@ -14,10 +14,6 @@ \part{First-order Logic}
 
 \olimport[completeness]{completeness}
 
-\olimport[model-theory]{model-theory}
-
-\olimport[undecidability]{undecidability}
-
 \olimport[beyond]{beyond}
 
 \OLEndPartHook

diff --git a/open-logic.tex b/open-logic.tex
@@ -9,6 +9,8 @@
 
 \olimport[computability]{computability}
 
+\olimport[turing-machines]{turing-machines}
+
 \olimport[incompleteness]{incompleteness}
 
 \olimport[sets-functions-relations]{sets-functions-relations}

diff --git a/...ability/tm-computations/configuration.tex → ...s/machines-computations/configuration.tex b/...ability/tm-computations/configuration.tex → ...s/machines-computations/configuration.tex
diff --git a/...ility/tm-computations/tm-introduction.tex → ...es/machines-computations/introduction.tex b/...ility/tm-computations/tm-introduction.tex → ...es/machines-computations/introduction.tex
diff --git a/...ility/tm-computations/tm-computations.tex → ...es-computations/machines-computations.tex b/...ility/tm-computations/tm-computations.tex → ...es-computations/machines-computations.tex
@@ -1,13 +1,13 @@
 % Part: computability
-% Chapter: tm-computations
+% Chapter: machines-computations
 
 \documentclass[../../include/open-logic-chapter]{subfiles}
 
 \begin{document}
 
 \chapter{Turing Machine Computations}
 
-\olimport{tm-introduction}
+\olimport{introduction}
 
 \olimport{turing-machines}
 

diff --git a/...ility/tm-computations/turing-machines.tex → ...machines-computations/turing-machines.tex b/...ility/tm-computations/turing-machines.tex → ...machines-computations/turing-machines.tex
diff --git a/...ability/tm-computations/unary-numbers.tex → ...s/machines-computations/unary-numbers.tex b/...ability/tm-computations/unary-numbers.tex → ...s/machines-computations/unary-numbers.tex
diff --git a/turing-machines/turing-machines.tex b/turing-machines/turing-machines.tex
@@ -0,0 +1,15 @@
+% Part: turing-machines
+
+\documentclass[../include/open-logic-part]{subfiles}
+
+\begin{document}
+
+\part{Turing Machines}
+
+\olimport[machines-computations]{machines-computations}
+
+\olimport[undecidability]{undecidability}
+
+\OLEndPartHook
+
+\end{document}
diff --git a/...ogic/undecidability/decision-problems.tex → ...ines/undecidability/decision-problems.tex b/...ogic/undecidability/decision-problems.tex → ...ines/undecidability/decision-problems.tex
@@ -1,12 +1,12 @@
-% Part: first-order-logic
+% Part: turing-machines
 % Chapter: undecidability
 % Section: decision-problems
 
 \documentclass[../../include/open-logic-section]{subfiles}
 
 \begin{document}
 
-\olfileid{fol}{und}{dec}
+\olfileid{tms}{und}{dec}
 \olsection{Decision Problems}
 
 \begin{explain}

diff --git a/...logic/undecidability/representing-tms.tex → ...hines/undecidability/representing-tms.tex b/...logic/undecidability/representing-tms.tex → ...hines/undecidability/representing-tms.tex
@@ -1,12 +1,12 @@
-% Part: first-order-logic
+% Part: turing-machines
 % Chapter: undecidability
 % Section: representing-tms
 
 \documentclass[../../include/open-logic-section]{subfiles}
 
 \begin{document}
 
-\olfileid{fol}{und}{rep}
+\olfileid{tms}{und}{rep}
 \olsection{Representing Turing Machines}
 
 \begin{explain}

diff --git a/...r-logic/undecidability/undecidability.tex → ...achines/undecidability/undecidability.tex b/...r-logic/undecidability/undecidability.tex → ...achines/undecidability/undecidability.tex
diff --git a/...der-logic/undecidability/verification.tex → ...-machines/undecidability/verification.tex b/...der-logic/undecidability/verification.tex → ...-machines/undecidability/verification.tex
@@ -1,12 +1,12 @@
-% Part: first-order-logic
+% Part: turing-machines
 % Chapter: undecidability
 % Section: verification
 
 \documentclass[../../include/open-logic-section]{subfiles}
 
 \begin{document}
 
-\olfileid{fol}{und}{ver}
+\olfileid{tms}{und}{ver}
 \olsection{Verifying the Representation}
 
 \begin{explain}