Да, результирующий язык по-прежнему будет Тьюрингом. На самом деле существует несколько таких языков. Один из них - Boolfuck. Он делает именно то, что вы предлагаете: каждая ячейка должна быть одним битом и избавляться от -
, потому что она избыточна. Он также использует ;
вместо .
для вывода. The official website содержит сокращение от Brainfuck до Boolfuck, что доказывает завершенность Boolfuck's Turing. Я вновь сокращение здесь, чтобы сделать ответ самодостаточным:
Brain. Bool.
+ >[>]+<[+<]>>>>>>>>>[+]<<<<<<<<<
- >>>>>>>>>+<<<<<<<<+[>+]<[<]>>>>>>>>>[+]<<<<<<<<<
< <<<<<<<<<
> >>>>>>>>>
, >,>,>,>,>,>,>,>,<<<<<<<<
. >;>;>;>;>;>;>;>;<<<<<<<<
[ >>>>>>>>>+<<<<<<<<+[>+]<[<]>>>>>>>>>[+<<<<<<<<[>]+<[+<]
] >>>>>>>>>+<<<<<<<<+[>+]<[<]>>>>>>>>>]<[+<]
Других битовой основой Brainfuck производные включают Smallfuck и BitChanger. This article также может представлять для вас интерес, который проходит несколько шагов по минимизации языка Brainfuck путем удаления избыточности (включая использование битов вместо байтов).