Talk:｛｝

Ambiguity of Level 8

- & [] would both translate into {{}}, right? --DigitalDetective47 (talk) 02:57, 23 November 2021 (UTC)

Yes. [] is invalid, though, since p must be non-empty (somehow I forgot to mention this before). I will state this in the article. —User:PythonshellDebugwindow (talk) ~~~~ 12:38, 23 November 2021 (UTC)

Shouldn't level 5 be TC?

If you start the program with

{{{{}{{{}{}}}}}}

can't you just use this table to convert BF (minus I/O, minus tape-wrapping, minus overflowing, right-infinite) into {} level 5?

BF symbol	{} Level 5
>	{{{{}{{{{{{}}}}{}}}}}}
<	{{{{}{{{{{{}}}}{{{{{}{}}}{}}}}}}}}
+	{{{{{{{}}}}{{{{{{{{{}}}}}}}{}}}}}}
-	{{{{{{{}}}}{{{{{{{{{}}}}}}}{{{{{}{}}}{}}}}}}}}
[	{{{{{{}}}}{{{}{}}}
]	}}

I can't really test it, but I think it works... Otesunki (talk) 21:48, 8 January 2022 (UTC)

EDIT: Back, here's a JsFiddle. Otesunki (talk) 15:32, 9 January 2022 (UTC)

EDIT 2: There's another way to prove it's TC-- by using {} Level 7

{} Level 7	{} Level 5
{}	{}
{{}}	{{{{}}}} or {{{{{{}{}}}}}} (depending on N)
{{x}}	{{{}{{{}{}}}x}} or {{{{{}{}}}{{{}{}}}x}} (depending on N)
{{xy}}	{{xy}}
{xy}	{{x{{{{{}{}}}y}}}

Otesunki (talk) 15:12, 10 January 2022 (UTC)

From what I can tell, your translation from BF to Level 5 is correct. Unfortunately, as you said, it currently can't be tested, although I don't see anything wrong with it. I will mark Level 5 as Turing-complete. —User:PythonshellDebugwindow (talk) ~~~~ 01:00, 11 January 2022 (UTC)