Brainfuck/P" Turing Machine (ungolfed version)

0 _ | r init
0 * * l 0

init _ _ r init1
init * * r init
init1 _ ^ r p0
p0 _ 0 l read

read \ > r read1
read / < r read1
read t + r read1
read ~ - r read1
read ( [ r read1
read ) ] r read1
read | _ r read1
read * * l read

read1 > \ r >
read1 < / r <
read1 + t r +
read1 - ~ r -
read1 [ ( r [
read1 ] ) r ]
read1 _ _ * halt-Execution-finished

[skip ( [ r [skip1
[skip * * l [skip
[skip1 ] ] r read1
[skip1 * * r [skip1

]loop ) ] l ]loop1
]loop * * l ]loop
]loop1 [ [ r read1
]loop1 * * l ]loop1

> ^ - r >1
< ^ - l <1
+ ^ ^ r +1
- ^ ^ r -1
[ ^ ^ r [1
] ^ ^ r ]1

>1 _ 0 r >2
>1 * * r >2
<1 _ _ * halt-Pointer-out-of-range
<1 * * l <2
>2 * ^ l read
<2 * ^ l read

[1 0 0 l [skip
[1 * * l read
]1 0 0 l read
]1 * * l ]loop

+1 0 1 l read
+1 _ 1 l read
+1 1 2 l read
+1 2 3 l read
+1 3 4 l read
+1 4 5 l read
+1 5 6 l read
+1 6 7 l read
+1 7 8 l read
+1 8 9 l read
+1 9 A l read
+1 A B l read
+1 B C l read
+1 C D l read
+1 D E l read
+1 E F l read
+1 F 0 l read

-1 0 F l read
-1 _ F l read
-1 1 0 l read
-1 2 1 l read
-1 3 2 l read
-1 4 3 l read
-1 5 4 l read
-1 6 5 l read
-1 7 6 l read
-1 8 7 l read
-1 9 8 l read
-1 A 9 l read
-1 B A l read
-1 C B l read
-1 D C l read
-1 E D l read
-1 F E l read

> * * r >
< * * r <
+ * * r +
- * * r -
[ * * r [
] * * r ]