Tuyên bố miễn trừ trách nhiệm: Không, đây không phải là một thử thách đùa để đảo ngược chuỗi.

Bài tập

Chỉ có một thao tác để hỗ trợ: phép trừ ( -).

Bạn cũng chỉ có hai nguyên tử để hỗ trợ: zero ( 0) và one ( 1).

Ở đây, ký hiệu tiền tố -ABtương đương với ký hiệu hậu tố AB-, ở đâu Avà Blà biểu thức.

Nhiệm vụ của bạn là (đệ quy) chuyển đổi một biểu thức trong ký hiệu tiền tố thành tương đương với ký hiệu hậu tố.

Định nghĩa

Một biểu thức trong ký hiệu tiền tố được tạo bởi ngữ pháp sau:

S > -SS
S > 0
S > 1

Một biểu thức trong ký hiệu postfix được tạo bởi ngữ pháp sau:

S > SS-
S > 0
S > 1

Thí dụ

Prefix notation:  --01-0-01
Parentheses:      -(-01)(-0(-01))
Convert:          (01-)(0(01-)-)-
Postfix notation: 01-001---

Quy tắc và tự do

• Bạn có thể đổi tên hoạt động và các nguyên tử thành ký tự nào, miễn là phù hợp.
• Định dạng đầu vào phải phù hợp với định dạng đầu ra (ngoài thực tế là đầu vào có ký hiệu tiền tố và đầu ra là ký hiệu hậu tố).

Testcase

Input       Output
1           1
0           0
-01         01-
-10         10-
--01-0-01   01-001---

Kiểm tra tín dụng cho Dada .

Brainfuck , 32 byte

,[[->++++<<+>]>[[-]<<[.[-]<]]>,]

Hãy thử trực tuyến!

Tôi đã sử dụng @như là hoạt động, bởi vì điểm mã của nó (64) là thuận tiện. Ucũng có thể có cùng số byte, sử dụng 3 * 85 + 1 = 256 = 0.

Giải trình

Các băng được sử dụng như một chồng. Trong mỗi lần lặp của vòng lặp chính, con trỏ dữ liệu bắt đầu hai ô bên phải của đỉnh ngăn xếp.

,[                Take input and start main loop
  [->++++<<+>]    Push input, and compute 4*input
  >[              If 4*input is nonzero (and thus input is not @):
    [-]<<           Zero out this cell and move to top of stack
    [.[-]<]         Pop from stack and output until \0 is reached
  ]
  >,              Move pointer into the correct position.  If input was @, the earlier > pushed \0 onto the stack.
]

Võng mạc , 37 30 29 byte

M!`-*.
+m`^-(.*)¶(\d.*)
$1$2-

Hãy thử trực tuyến! Đã lưu 7 byte bằng cách nhận ra rằng các thuật ngữ luôn bắt đầu bằng một chữ số, vì vậy tôi không phải giới hạn kết quả khớp cuối cùng -nữa (trước đây nó là thuật ngữ duy nhất được đảm bảo tuân theo hai thuật ngữ). Đã lưu 1 byte bằng cách không đặt -s trên dòng riêng của họ. Ví dụ, -01trở thành -0¶1cái mà sau đó được thay thế bằng 01-. Bây giờ, nếu tôi có --010nghĩa là --0¶1¶0sau đó tôi muốn thay đổi bên trong -0¶1để 01-tôi có thể thay thế -01-¶0bằng 01-0-, nhưng thực sự không có vấn đề gì trong hai cái -tôi loại bỏ, vì vậy tôi loại bỏ cái ở đầu dòng, như đó là dễ dàng hơn để kiểm tra.

Haskell , 62 59 byte

f(x:r)|x>'-'=([x],r)|(a,(b,c))<-f<$>f r=(a++b++"-",c)
fst.f

Hãy thử trực tuyến! Cách sử dụng : fst.f $ "--01-0-01". 0và 1có thể là các ký tự tùy ý lớn hơn ký tự -.

Chỉnh sửa: -3 byte nhờ Zgarb!

Hàm fđệ quy phân tích một biểu thức và trả về một tuple của biểu thức này trong ký hiệu hậu tố và chuỗi còn lại, theo ngữ pháp đơn giản mà từ đó các biểu thức tiền tố hợp lệ có thể được xây dựng:

<exp> ::= - <exp> <exp> | 0 | 1

Nếu ký tự đầu tiên acủa chuỗi đầu vào lớn hơn -, chúng ta đang ở một biểu thức nguyên tử và trả về một chuỗi của chuỗi có ký tự avà phần còn lại của chuỗi đầu vào.

Nếu chúng ta tìm thấy một -, hai biểu thức cần được phân tích cú pháp. Điều này có thể đạt được bằng cách (a,x)<-f rlấy biểu thức đầu tiên avà sau đó phân tích lại chuỗi còn xlại (b,c)<-f xđể có được biểu thức thứ hai bvà chuỗi còn lại cuối cùng c. (a,(b,c))<-f<$>f rthực hiện chính xác điều này bởi vì <$>trên tuples ánh xạ một hàm hai phần tử thứ hai của một tuple trong khi ngắn hơn ba byte (a,x)<-f r,(b,c)<-f x. Sau khi có được cả biểu thức và chuỗi còn lại, các biểu thức được nối và một dấu "-" được nối thêm : (a++b++"-",c).

Haskell, 54 byte

v f""=""
v f(a:s)=last(v.v:[id|a>'-'])((a:).f)s
h=v h

Hàm vlấy một chuỗi và một hàm, sắp xếp lại biểu thức con ban đầu, sau đó áp dụng hàm cho phần còn lại của chuỗi cho đến khi mọi thứ được sắp xếp lại. Ngăn xếp cuộc gọi và đối số chức năng cùng nhau theo dõi biểu thức nào đang được phân tích cú pháp. Hàm này htrả lời cho thử thách và chỉ vđược gọi với chính nó như là một đối số đầu tiên giả.

Perl 5 , 57 byte

sub f{"@_"=~s/x((?0)|.)((?0)|.)/my$n=$2;f($1).f($n).x/re}

Tôi sử dụng xnhư là toán tử thay vì -(xem liên kết TryItOnline dưới đây).

Hãy thử trực tuyến!

Giải thích:
/x((?0)|.)((?0)|.)/ khớp đệ quy một biểu thức đầy đủ: a xlúc bắt đầu, sau đó là một biểu thức (?0)(đó là một cuộc gọi đệ quy) hoặc một nguyên tử ( .), theo sau là một biểu thức hoặc nguyên tử khác.
Sau đó, tôi cần lưu biểu thức / nguyên tử thứ hai ( my$n=$2;) bởi vì nếu không các cuộc gọi đệ quy sẽ ghi đè lên nó.
Hàm sau đó được gọi đệ quy trên biểu thức đầu tiên ( f($1)), sau đó vào biểu thức thứ hai f($n)và xđược thêm vào cuối ( .x).

Python 3, 117 112 105 100 98 76 62 61 59 byte

def p(s):x=next(s);yield from[x]*(x>"-")or[*p(s),*p(s),"-"]

Thay đổi:

• loại bỏ ngắt dòng nếu có thể (-5 byte)
• lambda thay vì một chức năng đầy đủ (-7 byte, cảm ơn @Dada)
• không có gì khác (-5 byte, cảm ơn @Leaky Nun)
• hoàn tác việc chơi golf quá nhiệt tình (-2 byte, cảm ơn @Leaky Nun)
• thay vào đó, làm việc trên một danh sách toàn cầu (-22 byte)
• thực tế, hãy làm việc trên các trình vòng lặp thay thế (-14 byte)
• thay đổi !=thành >(-1 byte, được sao chép từ đề xuất của @ovs)
• thủ thuật đánh giá lười biếng (-2 byte, cảm ơn @ovs)

Sử dụng nó như thế này:

>>> list(p(iter("--01-0-01")))
['0', '1', '-', '0', '0', '1', '-', '-', '-']

Bình thường, 20 byte

L+&-hbTsyM.-Btbytbhb

Điều này tạo ra một hàm ydự kiến ​​một chuỗi là tham số.

Dùng thử trực tuyến: Trình diễn hoặc Test Suite

Giải trình:

Hàm ysẽ phân tích cú pháp và chuyển đổi biểu thức tiền tố đầu tiên thành biểu thức hậu tố. Vì vậy, nếu nó được gọi như y"10"nó sẽ chỉ trở lại 1.

L+&-hbTsyM.-Btbytbhb
L                      define a function y(b), that returns:
   -hbT                   remove the chars "10" from the first char b
                          (T=10, and - will convert a number to a string)
  &                       if this gives the empty string (a falsy value)
 +                hb         then append b[0] to it and return it
                             (so this will parse a digit 0 or 1 from the string)
  &                       otherwise (the first char is a -)
               ytb           parse the first prefix expression from b[1:]
                             (recursive call)
          .-Btb              remove this parsed expression bifurcated from b[1:]
                             this gives a tuple [b[1:], b[1:] without first expr]
        yM                   parse and convert an expression from each one
       s                     join the results
 +                hb         and append the b[0] (the minus) to it and return

Võng mạc , 34 31 29 byte

;
-;
¶
+`¶(.+);(.+)
$1$2-
;

Hãy thử trực tuyến!

;được sử dụng để chỉ ra các nút, ban đầu được tạo bởi một số duy nhất và sau đó phát triển thành bất kỳ thứ gì đã được phân tích cú pháp. -được chuyển thành dòng mới để cùng với .+chúng tôi có thể lấy bất cứ thứ gì không phải là không có bản quyền -.

Perl 6 , 45 byte

my&f={S[x(<~~>)**2|)>.]=$0&&$0>>.&f.join~'x'}

Hãy thử trực tuyến!