[Maszyna Turinga] Zamiana ciągów

[Banan1311]

Otóż mam stworzyć maszynę turinga, który w ciągu binarnym:
- zamienia ciągi 0 na jedno 0
- zamienia ciągi do 4 jedynek na ich liczbę (od 1 do 4)
- zamienia ciągi ponad 4 jedynek na X

Myślę nad tym od kilku dni i nadal mi nie wychodzi, ktoś może ma wskazówki jak to zrobić? Z góry dzięki

@ Wstępnie mam coś takiego

Kod: Zaznacz cały

Start #/#;P Stop
Start 1/1;P s1
Start 0/0;P s7
s1 #/#;L s2
s1 1/1;P s1
s2 1/#;L s3
s3 1/1;L s3
s3 #/#;L s4
s4 #/1;P s5
s4 1/2;P s5
s4 2/3;P s5
s4 3/4;P s5
s4 4/X;P s5
s4 X/X;P s5
s5 #/#;P s6
s6 1/1;P s1
s6 #/#;L Stop
s7 #/#;L s8
s7 0/0;P s7
s8 0/#;L s9
s9 0/0;L s9
s9 #/#;L s10
s10 #/0;P s11
s10 0/0;P s11
s11 #/#;P s12
s12 0/0;P s7
s12 #/#;L Stop

ale to działa tylko jak są ciągi \(\displaystyle{ 0000\ 11111}\), a nie mieszane, jak to udoskonalić? Bardzo mi zależy

@tak na skończonych i \(\displaystyle{ 00000001111011111=4}\)
albo \(\displaystyle{ 00001000001010000=3}\)

[Kartezjusz]

czyli ma być \(\displaystyle{ T(00000001111011111)=040x}\) ?
i pracujesz jedynie na skończonych danych?