This is an old revision of the document!
Solutii Mașina Turing
1.
// Scrieți o Mașină Turing care primește un șir binar și verifică dacă începe // și se termină cu simboluri distincte (e.g. 100110110). //-------CONFIGURATION name: l1e1 init: q1 accept: Y, H q1, 0 mem0, 0, > q1, 1 mem1, 0, > q1, _ N, _, - mem0, 0 mem0, 0, > mem0, 1 mem0, 1, > mem0, _ expect1, _, < mem1, 0 mem1, 0, > mem1, 1 mem1, 1, > mem1, _ expect0, _, < expect0, 0 Y, 0, - expect0, 1 N, 1, - expect1, 0 N, 0, - expect1, 1 Y, 1, -
2.
// Rezolvați exercițiul anterior pentru input în baza 10. //-------CONFIGURATION name: l1e2 init: q1 accept: Y, H q1, 0 mem0, 0, > q1, 1 mem1, 0, > q1, 2 mem2, 0, > q1, 3 mem3, 0, > q1, 4 mem4, 0, > q1, 5 mem5, 0, > q1, 6 mem6, 0, > q1, 7 mem7, 0, > q1, 8 mem8, 0, > q1, 9 mem9, 0, > q1, _ N, _, - mem0, 0 mem0, 0, > mem0, 1 mem0, 1, > mem0, 2 mem0, 2, > mem0, 3 mem0, 3, > mem0, 4 mem0, 4, > mem0, 5 mem0, 5, > mem0, 6 mem0, 6, > mem0, 7 mem0, 7, > mem0, 8 mem0, 8, > mem0, 9 mem0, 9, > mem0, _ expectn0, _, < mem1, 0 mem1, 0, > mem1, 1 mem1, 1, > mem1, 2 mem1, 2, > mem1, 3 mem1, 3, > mem1, 4 mem1, 4, > mem1, 5 mem1, 5, > mem1, 6 mem1, 6, > mem1, 7 mem1, 7, > mem1, 8 mem1, 8, > mem1, 9 mem1, 9, > mem1, _ expectn1, _, < mem2, 0 mem2, 0, > mem2, 1 mem2, 1, > mem2, 2 mem2, 2, > mem2, 3 mem2, 3, > mem2, 4 mem2, 4, > mem2, 5 mem2, 5, > mem2, 6 mem2, 6, > mem2, 7 mem2, 7, > mem2, 8 mem2, 8, > mem2, 9 mem2, 9, > mem2, _ expectn2, _, < mem3, 0 mem3, 0, > mem3, 1 mem3, 1, > mem3, 2 mem3, 2, > mem3, 3 mem3, 3, > mem3, 4 mem3, 4, > mem3, 5 mem3, 5, > mem3, 6 mem3, 6, > mem3, 7 mem3, 7, > mem3, 8 mem3, 8, > mem3, 9 mem3, 9, > mem3, _ expectn3, _, < mem4, 0 mem4, 0, > mem4, 1 mem4, 1, > mem4, 2 mem4, 2, > mem4, 3 mem4, 3, > mem4, 4 mem4, 4, > mem4, 5 mem4, 5, > mem4, 6 mem4, 6, > mem4, 7 mem4, 7, > mem4, 8 mem4, 8, > mem4, 9 mem4, 9, > mem4, _ expectn4, _, < mem5, 0 mem5, 0, > mem5, 1 mem5, 1, > mem5, 2 mem5, 2, > mem5, 3 mem5, 3, > mem5, 4 mem5, 4, > mem5, 5 mem5, 5, > mem5, 6 mem5, 6, > mem5, 7 mem5, 7, > mem5, 8 mem5, 8, > mem5, 9 mem5, 9, > mem5, _ expectn5, _, < mem6, 0 mem6, 0, > mem6, 1 mem6, 1, > mem6, 2 mem6, 2, > mem6, 3 mem6, 3, > mem6, 4 mem6, 4, > mem6, 5 mem6, 5, > mem6, 6 mem6, 6, > mem6, 7 mem6, 7, > mem6, 8 mem6, 8, > mem6, 9 mem6, 9, > mem6, _ expectn6, _, < mem7, 0 mem7, 0, > mem7, 1 mem7, 1, > mem7, 2 mem7, 2, > mem7, 3 mem7, 3, > mem7, 4 mem7, 4, > mem7, 5 mem7, 5, > mem7, 6 mem7, 6, > mem7, 7 mem7, 7, > mem7, 8 mem7, 8, > mem7, 9 mem7, 9, > mem7, _ expectn3, _, < mem8, 0 mem8, 0, > mem8, 1 mem8, 1, > mem8, 2 mem8, 2, > mem8, 3 mem8, 3, > mem8, 4 mem8, 4, > mem8, 5 mem8, 5, > mem8, 6 mem8, 6, > mem8, 7 mem8, 7, > mem8, 8 mem8, 8, > mem8, 9 mem8, 9, > mem8, _ expectn8, _, < mem9, 0 mem9, 0, > mem9, 1 mem9, 1, > mem9, 2 mem9, 2, > mem9, 3 mem9, 3, > mem9, 4 mem9, 4, > mem9, 5 mem9, 5, > mem9, 6 mem9, 6, > mem9, 7 mem9, 7, > mem9, 8 mem9, 8, > mem9, 9 mem9, 9, > mem9, _ expectn9, _, < expectn0, 0 N, 0, - expectn1, 1 N, 1, - expectn2, 2 N, 2, - expectn3, 3 N, 3, - expectn4, 4 N, 4, - expectn5, 5 N, 5, - expectn6, 6 N, 6, - expectn7, 7 N, 7, - expectn8, 8 N, 8, - expectn9, 9 N, 9, - expectn0, 1 Y, 1, - expectn0, 2 Y, 2, - expectn0, 3 Y, 3, - expectn0, 4 Y, 4, - expectn0, 5 Y, 5, - expectn0, 6 Y, 6, - expectn0, 7 Y, 7, - expectn0, 8 Y, 8, - expectn0, 9 Y, 9, - expectn1, 0 Y, 0, - expectn1, 2 Y, 2, - expectn1, 3 Y, 3, - expectn1, 4 Y, 4, - expectn1, 5 Y, 5, - expectn1, 6 Y, 6, - expectn1, 7 Y, 7, - expectn1, 8 Y, 8, - expectn1, 9 Y, 9, - expectn2, 0 Y, 0, - expectn2, 1 Y, 1, - expectn2, 3 Y, 3, - expectn2, 4 Y, 4, - expectn2, 5 Y, 5, - expectn2, 6 Y, 6, - expectn2, 7 Y, 7, - expectn2, 8 Y, 8, - expectn2, 9 Y, 9, - expectn3, 0 Y, 0, - expectn3, 1 Y, 1, - expectn3, 2 Y, 2, - expectn3, 4 Y, 4, - expectn3, 5 Y, 5, - expectn3, 6 Y, 6, - expectn3, 7 Y, 7, - expectn3, 8 Y, 8, - expectn3, 9 Y, 9, - expectn4, 0 Y, 0, - expectn4, 1 Y, 1, - expectn4, 2 Y, 2, - expectn4, 3 Y, 3, - expectn4, 5 Y, 5, - expectn4, 6 Y, 6, - expectn4, 7 Y, 7, - expectn4, 8 Y, 8, - expectn4, 9 Y, 9, - expect5, 0 Y, 0, - expect5, 1 Y, 1, - expect5, 2 Y, 2, - expect5, 3 Y, 3, - expect5, 4 Y, 4, - expect5, 6 Y, 6, - expect5, 7 Y, 7, - expect5, 8 Y, 8, - expect5, 9 Y, 9, - expect6, 0 Y, 0, - expect6, 1 Y, 1, - expect6, 2 Y, 2, - expect6, 3 Y, 3, - expect6, 4 Y, 4, - expect6, 5 Y, 5, - expect6, 7 Y, 7, - expect6, 8 Y, 8, - expect6, 9 Y, 9, - expect7, 0 Y, 0, - expect7, 1 Y, 1, - expect7, 2 Y, 2, - expect7, 3 Y, 3, - expect7, 4 Y, 4, - expect7, 5 Y, 5, - expect7, 6 Y, 6, - expect7, 8 Y, 8, - expect7, 9 Y, 9, - expect8, 0 Y, 0, - expect8, 1 Y, 1, - expect8, 2 Y, 2, - expect8, 3 Y, 3, - expect8, 4 Y, 4, - expect8, 5 Y, 5, - expect8, 6 Y, 6, - expect8, 7 Y, 7, - expect8, 9 Y, 9, - expect9, 0 Y, 0, - expect9, 1 Y, 1, - expect9, 2 Y, 2, - expect9, 3 Y, 3, - expect9, 4 Y, 4, - expect9, 5 Y, 5, - expect9, 6 Y, 6, - expect9, 7 Y, 7, - expect9, 8 Y, 8, -